3 ms·
[Gödel 1931] was for a system for the foundations of mathematics with orders on propositions. The [Gödel 1931] proposition I'mUnprovable is certainly of hist
by ProfHewitt 5y ago
[Gödel 1931] was for a system for the foundations of
mathematics with orders on propositions.
The [Gödel 1931] proposition I'mUnprovable is certainly of
historical interest and may perhaps be of philosophical
interest.
However, including the proposition I'mUnprovable in
foundations makes the foundations inconsistent.