Nice pun.
Pun? Where?
“Arbitrary real-world statements”, “the reals are a model of peano arithmetic”.
Nice pun.
Pun? Where?
“Arbitrary real-world statements”, “the reals are a model of peano arithmetic”.