En matemáticas, el teorema de Frege es un teorema que establece que los axiomas de Peano de la aritmética pueden ser derivados en lógica de segundo orden a partir del principio de Hume. Fue demostrado informalmente por Gottlob Frege en su Die Grundlagen der Arithmetik (Fundamentos de Aritmética),[1]​ publicado en 1884, y luego demostrado formalmente en su Grundgesetze der Arithmetik (Reglas básicas de aritmética),[2]​ publicado en dos volúmenes, en 1893 y 1903.

Gottlob Frege (1848-1925).

El teorema fue re-descubierto por Crispin Wright a comienzos de 1980. En el ámbito de la filosofía de la matemática se conoce como neo-logicismo.

Teorema de Frege en la lógica proposicional

editar

En lógica proposicional, los teoremas de Frege se refieren a esta tautología:

 

Referencias

editar
  1. Die Grundlagen der Arithmetik
  2. «Russell's notes on Frege's Grundgesetze Der Arithmetik». Archivado desde el original el 24 de diciembre de 2010. Consultado el 5 de mayo de 2010.