Inga synonymer hittades.
(matematik, logik) metoden att härleda resultat från grundförutsättningar, axiom, eller tidigare väl...