El cálculo de la prueba de Frege es suficiente para describir toda la matemática, aunque no sea equivalente a ella.