3 ms·
I know they are foundations of mathematics. They are elements of mathematical logic. No disagreement on this. But how they are not mathematics? They are part o
by h8hawk 6y ago
I know they are foundations of mathematics. They are elements of mathematical logic. No disagreement on this.
But how they are not mathematics? They are part of mathematical logic and mathematical logic or logic in general is branch of mathematics. Do you want to say they are somehow separated from math?
- guerrilla 6y agoThey are mathematics: mathematics about mathematics is what metamathematics means.