3 ms·
just the zfc axioms alone are already infinite. It's an axiom schema ranging over an infinite number of actual statements. That's just statements, without even
by initramfs2 1y ago
just the zfc axioms alone are already infinite. It's an axiom schema ranging over an infinite number of actual statements. That's just statements, without even considering symbols as you're saying.
- bananaflag 1y agoWell you can just put the nbg instead, which is finitely axiomatizable