3 ms·
Right, you need to be able to construct numbers for Gödel's proof to apply. Hilbert's incidence geometry, for instance, is consistent and complete. It's just
by __MatrixMan__ 5mo ago
Right, you need to be able to construct numbers for Gödel's proof to apply.
Hilbert's incidence geometry, for instance, is consistent and complete. It's just rather small.