Answer by user13113 for Axiom of regularity for sets and other types!
You don't need the axiom of regularity, since you usually can't even say $A \in A$ in this theory.For example, suppose $A$ is a variable of type $\mathcal{P}(\mathbb{R})$, and $r$ is a variable of type...
View ArticleAxiom of regularity for sets and other types!
This is really not a mathematical question, but a philosophical question about the theory in which mathematicians work. Andreas Blass describes this theory T as follows (here):Mathematicians generally...
View Article
More Pages to Explore .....