Axioms for galactic set theory.
Overview
Introduction
Membership
Extensionality and Well-Foundedness
The Ontology Axiom
PowerSets and Union
Relational Replacement
Separation
Galaxies
Functional Replacement
Pair and Unit sets
Union and Intersection
Proof Context
up HOME © RBJ V