For any version listed below, click on its date to view it. For more help, see Help:Page history.
(cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

  • (cur | prev) 02:03, February 3, 2018190.164.47.36 (Talk)‎ . . (787 bytes) (+787)‎ . . (Created page with "This is the Gödel number of the smallest theorem in the formal system P used by Gödel in his [ first Incompleteness theorem]. The s...")
Community content is available under CC-BY-SA unless otherwise noted.