„Gödel első nemteljességi tétele” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Robot: következő módosítása: fa:قضایای ناتمامیت گودل |
a kozmetikai javítások |
||
51. sor:
* [http://www.csc.liv.ac.uk/~andrey/ph/index.html A simple proof of a version of the Paris-Harrington Theorem]
[[Kategória:
[[Kategória:
[[en:Gödel's incompleteness theorems]]
|