A gem from Mathematics Stack Exchange:
Q: Are there any areas of mathematics that are known to be impossible to formalise in terms of set theory?
A:Â Yes — set theory.
It’s funny ’cause it’s true!
A gem from Mathematics Stack Exchange:
Q: Are there any areas of mathematics that are known to be impossible to formalise in terms of set theory?
A:Â Yes — set theory.
It’s funny ’cause it’s true!