2 ms·

The first order theory of arithmetic is provably consistent within ZFC. ZFC can’t prove it’s consistency but a “higher” system containing ZFC can prove that ZF

by suture 4y ago

The first order theory of arithmetic is provably consistent within ZFC. ZFC can’t prove it’s consistency but a “higher” system containing ZFC can prove that ZFC is consistent. So on and so forth.