second-order arithmetic (Q7442973)

From Wikidata

Jump to navigation Jump to search

mathematical system

edit

Language	Label	Description	Also known as
English	second-order arithmetic	mathematical system

Statements

defining formula

${\displaystyle \forall m_{\bullet }\forall X_{\bullet }((\varphi (0)\land \forall n(\varphi (n)\rightarrow \varphi (Sn))\rightarrow \forall n\varphi (n))}$

1 reference

imported from Wikimedia project

English Wikipedia

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

Freebase ID

/m/09kh4g

0 references

Microsoft Academic ID

65148605

0 references

nLab ID

second-order arithmetic

0 references

OpenAlex ID

C65148605

1 reference

stated in

OpenAlex

retrieved

26 January 2022

reference URL

https://docs.openalex.org/download-snapshot/snapshot-data-format

 

Sitelinks

Wikipedia(4 entries)

edit

• enwiki Second-order arithmetic
• eswiki Aritmética de segundo orden
• frwiki Arithmétique du second ordre
• ptwiki Aritmética de segunda ordem

Wikibooks(0 entries)

edit

Wikinews(0 entries)

edit

Wikiquote(0 entries)

edit

Wikisource(0 entries)

edit

Wikiversity(0 entries)

edit

Wikivoyage(0 entries)

edit

Wiktionary(0 entries)

edit

Multilingual sites(0 entries)

edit

Retrieved from "https://www.wikidata.org/w/index.php?title=Q7442973&oldid=2042451207"