Besonderhede van voorbeeld: 9050977944522018594

Japanese

1940年、ゲーデルはこれらの命題が何れも ZF または ZFC 集合論では否定を証明できないことを証明した。

Portuguese

Gödel provou em 1940 que nenhuma destas sentenças podia ser desmentida na teoria dos conjuntos de ZF ou ZFC.