# Questions tagged [new-foundations]

New Foundations is the axiomatic set theory in Quine's 1937 article "New Foundations for Mathematical Logic"; it simplifies the theory of types of Principia Mathematica.

**0**

votes

**0**answers

230 views

### Is there a known shorter axiomatization of NF than this?

Is there an already known axiomtization of $NF$ that is shorter than the following axiomatic system in first order logic with equality $``="$ and membership $``\in"$? And what is exactly meant by ...

**2**

votes

**1**answer

459 views

### Is there anything against this function j being injective?

Language (first order logic with equality "$=$" and membership "$\in$", and constant symbol "$j$")
Axiom: ID axioms +
There exists a set $A$, such that:
Field: $\forall x \in j \ \exists a \in A \ \...

**1**

vote

**0**answers

31 views

### What is the proof in NFU+|Ur|>|Set| of having less sets of sets than sets of Ur-elements?

Working in $\text{NFU}$, let $Ur$ be the set of all empty objects except a specific empty object $\emptyset$ that stands as the empty set, let $Set$ be the set of all non empty objects and $\emptyset$....

**4**

votes

**1**answer

187 views

### Intersection of iterated powerset in NFU

I am interested in the existence of the set $\bigcap_{n \in \mathbb{N}} \mathcal{P}^n(x)$ for any given set $x$, in the context of NFU (New Foundations with Urelements). It seems to me that the ...

**5**

votes

**1**answer

234 views

### What drawbacks are there to using NF(U) for category theory?

In category theory, you often run into what is known as "size" issues. That is, you run into the issue that the categories you try to define are too "big" to be sets, and so you need to use classes or ...

**19**

votes

**1**answer

1k views

### Can you have a type theory where there is type of all types?

Normally in a type theory, you can not have a type of all types, due to Girad's paradox. This is somewhat similar to how in set theory, you cannot have a set of all sets.
Therefore, usually you just ...

**2**

votes

**1**answer

259 views

### Anti-foundational set theory with a universal set

There are alternative set theories that allow for a universal set, e.g. NF(U), positive set theory and and topological set theory. There are also alternative set theories like ZFA that allow for the ...

**4**

votes

**0**answers

398 views

### New foundation in homotopy type theory

Is there any model of NF (New Foundations) on HoTT (homotopy type theory)?
Because there is a model of ZF(C) on HoTT (The HoTT book, Section 10.5) and NF on ZFC (by this Wikipedia articile), I think ...

**12**

votes

**0**answers

433 views

### Large cardinals arising from alternate set theories

My question is whether there are model-theoretic large cardinal axioms associated with $NFU$ - or more generally, with set theories other than $ZFC$.
Large cardinal properties generally come in one ...

**3**

votes

**2**answers

611 views

### Are descriptive and ontological notions of equality equal? [closed]

Let $a$ and $b$ are two "objects". What is the meaning of $a=b$? This is one of the deepest problems of philosophy and logic because one needs a complete information about "...

**1**

vote

**0**answers

244 views

### Is there a non-trivial consistency preserving transformation?

In set theory "equiconsistency" (and not "consistency") of the theories is the main part of researches. So we usually try to construct a new model using a given one. In the ...

**13**

votes

**3**answers

1k views

### Where is the end of universe?

In some sense the empty set ($\emptyset$) and the global set of all sets ($G$) are the ends of the universe of mathematical objects. The world which $ZFC$ describes has an end from the bottom and is ...

**8**

votes

**2**answers

445 views

### Definitions of ordinal besides von Neumann & Frege-Russel?

So my Google-fu didn't show any references on this. I'm studying an obscure set theory (ML, a variation on NF with proper classes) and it seems to not deal well with the standard definitions of ...

**0**

votes

**4**answers

474 views

### Consistency of the concept of the collection of all collection

By Russel's paradox, we know that the concept of the set of all sets is inconsistent. Similarly, if classes have only sets as members, the concept of the class of all classes is inconsistent because ...

**10**

votes

**2**answers

553 views

### Constructible models of New Foundations?

Hi all! Is there anything like Gödel's constructible universe for New Foundations?
More precisely, I would like a process for taking a model $M$ of NF, and using it to build a model $L \subseteq M$ ...

**17**

votes

**7**answers

2k views

### Understanding Specker's disproof of the axiom of choice in New Foundations

Hi all! I am trying to understand Specker (1953)'s proof (found here) that the axiom of choice is false in New Foundations. I am stuck on the following point. At 3.5 Specker writes:
3.5. The cardinal ...

**8**

votes

**1**answer

578 views

### A question about Quine's set theory NF.

This question might not really be considered appropriate for mathoverflow.net but
I'll risk asking it and apologize in advance if I have commited a booboo. It is often
said that in NF one can prove ...

**5**

votes

**1**answer

384 views

### In search of a set theory with specific properties

I'm in search of a set theory that satisfies the following requirements.
There is a universal set $V$ such that $\forall x(x \in V)$. So for example, $V \in V$.
Sets whose elements are 'large' exist. ...

**3**

votes

**0**answers

394 views

### New Foundations and weaker forms of choice

New Foundations (introduced by Quine) proves that $AC$ is false. Out of curiosity, is $NF$ consistent with countable choice or dependent choice? What's the strongest consequence of choice still ...

**19**

votes

**5**answers

3k views

### How much of ZFC does Quine's New Foundations prove?

Main Question: Does anyone know of a reference that can tell me which axioms of ZFC Quine's New Foundations prove, disprove, and leave undecided?
Secondary Question: I've read that diagonal ...

**0**

votes

**2**answers

528 views

### Limiting set theory using symmetry

[Cross-posted from here]
If my understanding is correct, naive set theory needs to be restricted in order to avoid paradoxes including the Russell paradox. Typically, the restriction is expressed in ...