Skip to main content
Piotr Shatalin's user avatar
Piotr Shatalin's user avatar
Piotr Shatalin's user avatar
Piotr Shatalin
  • Member for 11 years, 7 months
  • Last seen more than 10 years ago
awarded
awarded
comment
Transfinitely extending $\sf PA$ — can we get stronger than $\sf ZFC$?
There could be nothing wrong with saying that everything $PA$ proves is true. This is what most mathematicians believe anyway. But, of course, $PA$ itself cannot prove it, because it implies its consistency (something that a consistent theory cannot prove about itself).
awarded
Loading…
awarded
awarded
awarded
Loading…
awarded
awarded
awarded
Loading…