2 ms·> choose any axioms and then derive Sound almost like "jump off the roof and see what happens."by Koshkin 7y ago> choose any axioms and then derive Sound almost like "jump off the roof and see what happens."