Zobrazeno 1 - 1
of 1
pro vyhledávání: '"[en] CONSISTENCY PROOFS"'
[pt] Na antologia que M.E. Szabo realizara dos trabalhos de Gentzen e publicara em 1969 se transcrevem, em um apêndice, algumas passagens apresentadas por Bernays ao editor pertencentes a uma primeira prova de consistência para a Aritmética de Pea
