The foundations tag has no usage guidance.

**33**

votes

**6**answers

5k views

### Why hasn't mereology suceeded as an alternative to set theory?

I have recently run into this wikipedia article on mereology. I was surprised I had never heard of it before and indeed it seems to be seldom mentioned in the mathematical literature. Unlike set ...

**8**

votes

**3**answers

1k views

### Kunen's use of Countable Transitive Models

Hi,
I have a doubt concerning Kunen's exposition of forcing in his classical book (arguably $the$ book on forcing). When dealing with Countable Transitive Models to set up the forcing machinery, ...

**9**

votes

**2**answers

610 views

### Consistent hierarchy of axiomatic systems

First of all, I am not an expert in model theory. I just want to get my personal view on the foundations of mathematics straight.
I just learned in Sergey Melikhov's answer to another question ...

**5**

votes

**5**answers

1k views

### Concrete models of abstract structures

Most mathematicians seem to be contented with the fact, that abstract structures cannot be directly modelled as such in a set theory without ur-elements. What seems to me the standard stance: Set ...

**4**

votes

**4**answers

1k views

### Subsystems of Peano arithmetic and incompleteness theorem

I think everyone is familiar with Goedel's incompleteness theorems. In particular they imply that PA (Peano arithmetic) can not prove its own consistency. Now my question is what is the largest ...

**20**

votes

**1**answer

1k views

### Nontrivial circular arguments?

There is a famous circular argument for the Prime Number Theorem (PNT). It turns
out that there exists an infinite sequence of elementary-to-prove Chebyshev-type estimates
that taken together imply ...

**2**

votes

**0**answers

146 views

### Multitype approaches to choice?

I wonder if anyone has developed a set theory which approaches the issue of the non-emptiness of products of non-empty sets via a hierarchy of types (comparable to how Von Neumann–Bernays–Gödel set ...