A1987dM comments on Godel’s Completeness and Incompleteness Theorems

[A1987dM]

I’m assuming by subset you mean non-strict subset

I was, but that’s not necessary—a countably infinite set can be bijectively mapped onto {2, 3, 4, …} which is a proper subset of N after all! ;-)

[bryjnar]

Oh yeah—brain fail ;)