RobinZ comments on The Last Number

[RobinZ]

Pun? Where?

[[deleted]]

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