[deleted] comments on Second order logic, in first order set-theory: what gives?

[[deleted]]

Are you comfortable rejecting the idea that PA has a “standard model”?

[Tyrrell_McAllister]

O