Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable

arXivmath/0703723MaRDI QIDQ6479019

No author found.

Publication date: 24 March 2007

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable