Hi(adsbygoogle = window.adsbygoogle || []).push({});

I'm reading some stuff about proof theory and set theory right now and one question comes to my mind.

Set theory is defined in terms of FOL (First Order Logic). Nevertheless, when we "define" first order logic we already have the notion of a "domain of discourse", which is basically the same as a set. We also can't say "everything" is the domain of discourse because then we would need a universal set in set theory which doesn't exist (at least not in ZFC)

But then, we are defining one thing in terms of the other without knowing what the other is.

Isn't that sort of circular reasoning?

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

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!

# The Foundation of mathematics

Loading...

Similar Threads - Foundation mathematics | Date |
---|---|

I Foundation of all mathematics | Sep 9, 2017 |

I ZFC ... Axioms of Foundation ... and Infinity ... | Jul 25, 2017 |

I Status of CH & Large Cardinals in New Foundations | Sep 16, 2016 |

Set Theory, Rough Set Theory, Fuzzy Set Theory | Aug 31, 2015 |

Looking to discuss the philosophical foundations of mathematic | Oct 2, 2013 |

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