Compatibilidad de los axiomas de la aritmética
type: Thing
label: 希爾伯特第二問題 @zh
description: uno dei ventitré problemi proposti da Hilbert, in cui si chiedeva di dimostrare l consistenza degli assiomi dell'aritmetica @it
label: Hilbert's second problem @en
subject: Category:Hilbert's problems
label: Вторая проблема Гильберта @ru
label: Hilberts andra problem @sv
label: Hilberts zweites Problem @de
label: Segundo problema de Hilbert @pt
description: cuestión matemática relativa a la consistencia de los axiomas matemáticos
description: one of twenty-three, asking to prove the consistency of arithmetic axioms @en