Jump to content

Information for "Frege's theorem"

Basic information

Display titleFrege's theorem
Default sort keyFrege's Theorem
Page length (in bytes)7,592
Namespace ID0
Page ID4725226
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of page watchersFewer than 30 watchers
Number of redirects to this page3
Counted as a content pageYes
Wikidata item IDQ1052005
Local descriptionMetatheorem
Central descriptionmetatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle
Page views in the past 30 days

Page protection

EditAllow all users (no expiry set)
MoveAllow all users (no expiry set)
View the protection log for this page.

Edit history

Page creatorRgheck (talk | contribs)
Date of page creation22:08, 12 April 2006
Latest editorCornmazes (talk | contribs)
Date of latest edit00:20, 14 October 2024
Total number of edits80
Recent number of edits (within past 30 days)1
Recent number of distinct authors1

Page properties

Hidden categories (4)

This page is a member of 4 hidden categories (help):

Transcluded templates (41)

Pages transcluded onto the current version of this page (help):

Wikidata entities used in this page

External tools