A number of ways of relaxing the stratification constraint for the axioms of Quine's NF are reviewed. It is shown how most of them result in inconsistency.
|Number of pages||12|
|Journal||Bulletin of the Belgian Mathematical Society - Simon Stevin|
|Publication status||Published - 2007|