Math is about groups of things. We can group items to see how they work. We can make new groups from old ones. This helps us learn about many things. It is like a big puzzle. Can you find a group of toys?
A man named Quine had a new idea. He wanted to make math simpler. He made a system called New Foundations.
In this system, we look at groups. If two groups have the same things, they are the same. This helps us know when things are equal.
We can also make new groups. We can make a group of just one thing. We can join two groups together, too.
Some groups are very big. There is even a group of everything! This is called a universal set.
Math helps us see how these groups work. It is a way to organize the world.
A thinker named Willard Van Orman Quine had a big idea. He wanted to make math simpler. He created a system called New Foundations, or NF.
In NF, we study sets. A set is a group of things. One rule is called extensionality. It says that if two sets have the same members, they are the same set. This helps us know when things are truly equal.
We can build many kinds of sets. We can make a singleton, which is a set with only one thing. We can make a union by joining two sets together. We can even make a universal set. This is a set that holds every single thing!
NF is special because it uses a rule called stratification. This rule helps us pick which sets we are allowed to make. It keeps the math working correctly.
Some people study a version called NFU. In NFU, we can have urelements. These are things that are not sets, but they can still be inside a set. This version helps us understand how different math rules fit together.
Mathematical logic helps us understand the rules of math. One special way to look at these rules is through a system called New Foundations, or NF.
This system was created by a thinker named Willard Van Orman Quine. He wanted to make a simpler version of an older theory. His goal was to take a very big, complicated idea and make it easier to use. NF is a way to study sets, which are just groups of things. It uses a few basic rules to decide how these groups can work together.
To make NF work, it uses two main rules. The first is called extensionality. This rule says that if two sets have the exact same members, they are actually the same set. It is a way to define equality for groups.
The second rule is called stratified comprehension. This is a way to pick which sets are allowed to exist. To use this, we use something called stratification. This is like a sorting rule for the parts of a math sentence. It makes sure the pieces fit together in a balanced way.
Quine developed these ideas to improve upon earlier work. He was looking at a theory called the theory of types from a book called Principia Mathematica. That older theory was very hard to use because it had many different layers.
Quine's NF tried to simplify those layers. He also worked on an extension called Mathematical Logic, or ML. Another mathematician named Hao Wang later helped revise ML. They showed that NF and the new ML were closely related in how they worked. This helped people understand the strength of Quine's ideas.
There are many different parts you can build using these rules. You can make a singleton, which is a set with only one member. You can also make a Cartesian product by pairing things up.
NF even allows for a universal set. This is a huge set that contains every single thing in the system. Some people also study a version called NFU. In NFU, you can have things called urelements. These are objects that are not sets themselves, but they can still be placed inside a set.
Even though NF is about sets, it still connects to the numbers we use every day. In this system, natural numbers are defined in a special way. Instead of just counting, a number is seen as a set of all sets that have that many members. For example, the number zero is represented by an empty set.
This system also deals with the idea of infinity. It can be hard to prove if a set is truly infinite in NF. However, math rules like induction help us study these large, endless patterns. This shows how even tiny rules can lead to very big ideas.
New Foundations, often called NF, is a unique system of mathematical logic. It is a non-well-founded set theory that uses a finite number of axioms. A set theory is a collection of rules that describes how sets behave. Sets are groups of objects, and these rules tell us which groups can exist. NF was conceived by the mathematician Willard Van Orman Quine. He wanted to create a simpler version of a much more complex system. This older system was known as the theory of types from the book Principia Mathematica.
To understand how NF works, we must look at its core rules. The system uses two primitive predicates: equality and membership. Equality means two things are the same. Membership describes when an object belongs to a set. The first major rule is the axiom of extensionality. This rule states that if two sets contain exactly the same elements, they are the same set. If set A and set B both contain every possible set X, then A equals B.
The second major rule is called stratified comprehension. This rule decides which sets are allowed to exist within the system. For a set to exist, the formula used to describe it must be stratified. Stratification is a way of organizing the syntax of a mathematical formula. It involves assigning natural numbers to the pieces of a formula. We use a function to ensure the numbers follow a specific pattern. For any atomic subformula, the numbers must either be equal or differ by exactly one. This prevents certain logical paradoxes from breaking the system.
NF is closely related to Russellian unramified typed set theory, or TST. In TST, every variable and set is assigned a specific type. Type 0 consists of basic individuals that are not sets. Higher types are built from lower ones, such as type 1 being sets of type 0 objects. NF simplifies this by removing the need for a rigid, linear hierarchy of types. Instead, NF uses the stratification rule to allow for more flexibility. This connection allows mathematicians to map NF formulas to TST formulas by adding or removing type annotations.
There are many different mathematical structures that can be built using NF. One is the singleton, which is a set containing exactly one object. You can also create a Cartesian product, which is a set of all possible pairs from two different sets.
Interestingly, NF allows for a universal set, which is a set that contains every object in the system. Some researchers also study NFU, which is NF with urelements. Urelements are special objects that are not sets themselves. They do not contain any elements, but they can still be members of a set.
Defining numbers in NF requires a different approach than usual. In many systems, numbers are built using a method called the von Neumann construction. However, that method does not work well with the stratification rules of NF. Instead, NF uses a definition based on the ideas of Gottlob Frege. In this view, a natural number n is the set of all sets that have exactly n elements. For example, the number zero is the empty set. This definition allows mathematicians to use induction to prove things about numbers.
Dealing with infinity is another complex part of this theory. In NF, it is not always easy to prove that the universe is infinite. In some versions of the theory, like NFU, the existence of an infinite set is logically independent. This means you can choose to add an axiom of infinity or not. In the standard NF system, a mathematician named Specker showed that the axiom of choice is false. This fact actually helps prove that the universe is indeed infinite. These deep logical connections show how NF provides a different way to view the foundations of mathematics.
More to explore
✨ What else?
Related topics you might enjoy
🔬 Go deeper
More advanced topics to explore
🪜 Step back
Simpler topics to build understanding
What is Nepedia?
A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.