Is any collection of axioms incomplete? This seems to be intuitively true.(adsbygoogle = window.adsbygoogle || []).push({});

Relating to Godel's Incompleteness theorem, Godel proved any consistent set of axioms based on the theory of natural numbers cannot be proved themselves, without leaving any assumptions.

So what I am wondering is if anyone has proved that any arbitrary set of consistent axioms is incomplete?

**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!

# Incompleteness Theroem

Loading...

Similar Threads - Incompleteness Theroem | Date |
---|---|

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

I Church-Turing-Deutsch principle and Incompleteness-Halting. | Nov 28, 2016 |

I What is a sufficient piece of arithmetic for Gödel's first incompleteness theorem | Jun 1, 2016 |

Are formal systems of first order logic incomplete? | Oct 21, 2015 |

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