imported>Aka: /* Weblinks */ https

2021-03-28T16:17:03Z

Weblinks: https

Neue Seite

'''Freges Theorem''' ist eine der Grundlagen des Neo-[[Logizismus]].

[[Gottlob Frege]] bewies 1884 in ''[[Die Grundlagen der Arithmetik]]'' informal, dass [[Peano-Axiom]]e der [[Arithmetik]] aus [[Humes Prinzip]] mittels einer [[Logik höherer Stufe|Logik zweiter Stufe]] abgeleitet werden können. Ein formaler Beweis folgte in ''[[Grundgesetze der Arithmetik]]''.

[[Crispin Wright]] entdeckte das Theorem in den 1980er Jahren wieder und begründete damit den Neo-[[Logizismus]].

== Weblinks ==
* {{SEP|https://plato.stanford.edu/entries/frege-theorem/|Frege's Theorem and Foundations for Arithmetic|Edward N. Zalta}}

[[Kategorie:Logik]]
[[Kategorie:Philosophie der Mathematik]]
[[Kategorie:Gottlob Frege]]

Freges Theorem - Versionsgeschichte

imported>Aka: /* Weblinks */ https