4 ms·
Then it wouldn’t be an axiom, which it, in fact, is, being logically independent from the rest. It is considered somewhat special though, and mathematicians, be
by Koshkin 4y ago
Then it wouldn’t be an axiom, which it, in fact, is, being logically independent from the rest. It is considered somewhat special though, and mathematicians, being nice people, usually indicate whether they rely on it in a proof.
- sylware 4y agoYep, this is what I meant by "2nd level": it feels like it is not an axiom but a theorem.