2 ms·Yep, this is what I meant by "2nd level": it feels like it is not an axiom but a theorem.by sylware 4y agoYep, this is what I meant by "2nd level": it feels like it is not an axiom but a theorem.