I was just talking with Wei Dai and something came up that seems at once obvious and counterintuitive.
Agree on the obvious part!
In other words, if you knew all about the logical implications of PA, then you would also know all about the logical implications of ZFC and all other formal systems.
Ahh, now that is a little counterintuitive! Like it.
Agree on the obvious part!
Ahh, now that is a little counterintuitive! Like it.