[deleted] comments on The Last Number

[[deleted]]

“Arbitrary real-world statements”, “the reals are a model of peano arithmetic”.