Editing Axiom schema (section)

==References==
* {{Citation|last=Corcoran|first=John|author-link=John Corcoran (logician)|year=2006|title=Schemata: the Concept of Schema in the History of Logic|journal=Bulletin of Symbolic Logic|volume=12|issue=2 |pages=219–240|doi=10.2178/bsl/1146620060 |s2cid=6909703 |url=https://philpapers.org/archive/CORSTC.pdf}}.
* {{Cite SEP |url-id=schema |title=Schema |last=Corcoran |first=John |date=2016}}
* {{Citation |last=Mendelson |first=Elliott |author-link=Elliott Mendelson |year=1997 |title=An Introduction to Mathematical Logic |edition=4th |publisher=Chapman & Hall |isbn=0-412-80830-7}}.
* {{Citation |last = Montague | first = Richard |contribution = Semantic Closure and Non-Finite Axiomatizability I  | editor = Samuel R. Buss | title = Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics | publisher = Pergamon Press | publication-date = 1961 | pages = 45–69}}.
* {{Citation |last=Potter |first=Michael |title=Set Theory and Its Philosophy |publisher=Oxford University Press |year=2004 |isbn=9780199269730}}.
* {{Citation |last=Ryll-Nardzewski |first=Czesław |title=The role of the axiom of induction in elementary arithmetic |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm39/fm39119.pdf |journal=[[Fundamenta Mathematicae]] |volume=39 |pages=239–263 |year=1952|doi=10.4064/fm-39-1-239-263 }}.

{{Set theory}}
{{Mathematical logic}}

[[Category:Formal systems]]
[[Category:Mathematical axioms|*]]