(Si se dan axiomas para una sola rama de las matemáticas, Lakatos afirmó que las demostraciones de dichos axiomas son tautológicas; por ejemplo, la verdad lógica, fue reescrita, tal como hizo Poincaré ["Pruebas y refutaciones", 1976].)