I was reading up on Goedel's Theorems and was wondering what exactly is the basis of Mathematics today and is the discussion around an axiomatic system settled? I know that there are several attempts like the Peano Axioms or the Zermelo-Fränkel Set Theory but I am not sure which one is the most "used" today. I hope I am not posting this in the wrong subforum.

  • 2
    $\begingroup$ ZFC is the most common. $\endgroup$ – Jair Taylor Mar 7 at 23:45
  • $\begingroup$ Most working mathematicians pay no attention to the question of axiomatic systems for Mathematics. $\endgroup$ – Gerry Myerson Mar 8 at 0:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.