logoalt Hacker News

__MatrixMan__today at 1:40 PM0 repliesview on HN

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.