(If axioms are given for a branch of mathematics, however, Lakatos claimed that proofs from those axioms were tautological, i.e. logically true.)
(Ačkoliv je axiom matematický pojem, Lakatos prohlašuje, že důkazy z těchto axiomů, jsou tautologické, tedy logicky pravdivé.)