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