Skip to main content
4 of 4
edited title
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Can the well founded world of NFU be itself the hereditarily Cantorian world and also satisfy ZFC?

Is it possible to squeeze the hereditarily Cantorian world "$\sf H_{Cant}$" of $\sf NFU$ be the well founded world $\sf WF$ of $\sf NFU$. Moreover, can we have $\sf WF$ of $\sf NFU$ to satisfy all rules of $\sf ZFC$.

In symbols:

Is "$\sf NFU + (WF \models ZFC) + H_{Cant} = WF$" consistent?

Where a well founded set is a set belonging to the cumulative hierarchy of pure sets. Alternatively one can work in $\sf NFU^V$ where all Ur-elements are co-extensional with the universe $V$, and use the usual definition of well founded sets.

If this is consistent, then what would be the consistency strength of such extension of $\sf NFU$?

Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47