One of Godel's results would imply that there must be arithmetic facts (formulae?) that cannot be derived from the peano axioms. (Unless my understanding here is wrong that is).(adsbygoogle = window.adsbygoogle || []).push({});

So I wonder, has anyone found such a formula? How could it be proved?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

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

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

# Godel's Theorem

**Physics Forums | Science Articles, Homework Help, Discussion**