„Peano-aritmetika” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
306. sor:
== Források ==
* {{cite book|title=The Logic of Provability|author=George Boolos |publisher=Cambridge University Press|location=New York|year= 1993|isbn=0-521-48325-5 }}
== Forráshivatkozások ==
<references>
| |||