| dbo:description
|
- cuestión matemática relativa a la consistencia de los axiomas matemáticos (es)
- uno dei ventitré problemi proposti da Hilbert, in cui si chiedeva di dimostrare l consistenza degli assiomi dell'aritmetica (it)
- one of twenty-three, asking to prove the consistency of arithmetic axioms (en)
|
