Display title | Frege's theorem |
Default sort key | Frege's Theorem |
Page length (in bytes) | 7,592 |
Namespace ID | 0 |
Page ID | 4725226 |
Page content language | en - English |
Page content model | wikitext |
Indexing by robots | Allowed |
Number of page watchers | Fewer than 30 watchers |
Number of redirects to this page | 3 |
Counted as a content page | Yes |
Wikidata item ID | Q1052005 |
Local description | Metatheorem |
Central description | metatheorem 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 | |
Edit | Allow all users (no expiry set) |
Move | Allow all users (no expiry set) |
Page creator | Rgheck (talk | contribs) |
Date of page creation | 22:08, 12 April 2006 |
Latest editor | Cornmazes (talk | contribs) |
Date of latest edit | 00:20, 14 October 2024 |
Total number of edits | 80 |
Recent number of edits (within past 30 days) | 1 |
Recent number of distinct authors | 1 |
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 | |