Bibliography

1

Scott Fenton. New Foundations set theory developed in metamath, 2015. URL: https://us.metamath.org/nfeuni/mmnf.html.

2

Theodore Hailperin. A set of axioms for logic. Journal of Symbolic Logic, 9(1):1–19, 1944. doi:10.2307/2267307.

3

M. Randall Holmes. The Equivalence of NF-Style Set Theories with “Tangled” Theories; The Construction of ω-Models of Predicative NF (and more). The Journal of Symbolic Logic, 60(1):178–190, 1995. URL: http://www.jstor.org/stable/2275515.

4

M. Randall Holmes and Sky Wilshaw. NF is Consistent, 2024. arXiv:1503.01406.

5

W. V. Quine. New Foundations for Mathematical Logic. American Mathematical Monthly, 44:70–80, 1937. URL: https://api.semanticscholar.org/CorpusID:123927264.

6

Ernst P. Specker. The Axiom of Choice in Quine’s New Foundations for Mathematical Logic. Proceedings of the National Academy of Sciences of the United States of America, 39(9):972–975, 1953. URL: http://www.jstor.org/stable/88561.

7

Ernst P. Specker. Typical Ambiguity. In Ernst Nagel, editor, Logic, Methodology and Philosophy of Science, pages 116–123. Stanford University Press, 1962.

8

Sky Wilshaw, Yaël Dillies, et al. New Foundations is consistent, 2022–2024. URL: https://leanprover-community.github.io/con-nf/.