# Axiomatic set theory conundrum

The author has developed an approach to logics that comprises, but also goes beyond predicate logic. The **FUME** method contains two tiers of precise languages: object-language **Funcish** and metalanguage **Mencish**. It allows for a very wide application in mathematics from geometry, number theory, recursion theory and axiomatic set theory with first-order logic, to higher-order logic theory of real numbers etc. . The conventional treatment of axiomatic set theory (ZFC) is replaced by the abstract calcule sigma so that certain shortcomings can be avoided by the use of Funcish-Mencish language hierarchy:

1. precise talking about **formula** strings necessitates a formalized metalanguage

2. talking about **open arities**, general tuples, open dimensions of spaces, finite systems of open cardinality and so on necessitates a formalized metalanguage. 'dot dot dot … ' just will not do

3. the **A xiom of Infinity**

*is generalized to*

**A**in order to allow for certain other infinite sets besides the natural number representation according to von Neumann

*xioms of Recursion*4. the * Axioms of Separation are* modified as it seems more convenient

5. there are only enumerably many properties that can be constructed from **formula** strings, as these are finite strings of characters from a finite alphabet; this should be kept in mind in connection with the **Axioms of Replacement**

6. a new look at **Cantor's continuum hypothesis** in abstract axiomatic set theory leads to the question of so-called basis-incompleteness versus proof-incompleteness

7. the * Axioms of Separation *seem to have a flaw; there is a caveat for axiomatic set theory.

There is a wild **mess** in conventional **notation** of axiomatic set theory with small and capital letters (Latin, Greek and even Hebrew) and ad-hoc introduced symbols. Similar expressions may relate to completely different categories. Sometimes the same expressions are used with different meaning so that they can only be understood in local context. Some entities are just introduced metalingually without proper representation in object-language. And one should always be skeptical when 'virtual' entities come into play as it is the case in connection with classes. This mess makes it very complicated for the simple-minded reader and perhaps even hides problems. Axiomatic set-theory talks about well-ordering, but it certainly needs ORDER itself!