what is the proof-theoretic strength (largest ordinal whose existence can be proved) for ZFC set theory?(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof theoretic ordinal of zfc, and other formal systems

Loading...

Similar Threads - Proof theoretic ordinal | Date |
---|---|

I An easy proof of Gödel's first incompleteness theorem? | Mar 6, 2018 |

I Cantor's decimal proof that (0,1) is uncountable | Sep 27, 2017 |

A A "Proof Formula" for all maths or formal logic? | Apr 19, 2017 |

I Regarding Cantor's diagonal proof. | Feb 28, 2017 |

Anomaly set theoretic equivalent to material implication | May 16, 2015 |

**Physics Forums - The Fusion of Science and Community**