6 ms·
No extra restriction is required because Russell's Principia Mathematical already excludes construction of the [Gödel 1931] proposition I'mUnprovable because
by ProfHewitt 6y ago
No extra restriction is required because Russell's Principia
Mathematical already excludes construction of the [Gödel 1931]
proposition I'mUnprovable because of orders on propositions.