Comment on Is math big or small?parentComments−gottheUIblues4moErr? Peano Arithmetic is provably consistent in ZFC, but it is not in itself (if PA is consistent). Therefore if PA is consistent it is not equivalent to ZFC (regardless of whether ZFC is consistent or not)−contraposit4moI am referring to this slide : https://youtu.be/EVwQsvof7Hw?t=1646
Comments
Err? Peano Arithmetic is provably consistent in ZFC, but it is not in itself (if PA is consistent). Therefore if PA is consistent it is not equivalent to ZFC (regardless of whether ZFC is consistent or not)
I am referring to this slide : https://youtu.be/EVwQsvof7Hw?t=1646