2020/09/18 by Frank Quinn, Quinn, Frank
Computer Science · Psychology · #03B60 #03E65 #18A05 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science
paper · pdf · doi:10.48550/arxiv.2009.08867
openalex publication_date 2020/09/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside this we find "relaxed" set theory, which is much easier to use with full precision than traditional axiomatic theories. There is also an implementation of the Zermillo-Fraenkel-Choice axioms that is maximal in the sense that any other implementation uniquely embeds in it.