(Q7442973)

English

second-order arithmetic

mathematical system

In more languages

Statements

defining formula

\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

0 references

Microsoft Academic ID

0 references

second-order arithmetic

0 references

1 reference

26 January 2022

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

Sitelinks

Wikipedia(4 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

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