3 ms·
The logical contradiction is that allowing the [Gödel 1931] proposition I'mUnprovable into foundations makes the foundations inconsistent.
by ProfHewitt 5y ago
The logical contradiction is that allowing the [Gödel 1931]
proposition I'mUnprovable into foundations makes the
foundations inconsistent.