4 ms·The laws of inference are axioms as well. You can see how its done in say MetaMath.by DoctorOetker 4y agoThe laws of inference are axioms as well. You can see how its done in say MetaMath.