4 ms·It's called logic. Axioms + induction and deduction.by tus666 4y agoIt's called logic. Axioms + induction and deduction.