The countable set isn't a set. (Refer to "Defect of the formal algebra 1",3" " in this blog.)
So you cannot get a countable model for a given axiom system. Gödel's completeness
theorem may be wrong.
The standard mathematics treating the real numbers isn't consistent. (Refer to "Defect of
the formal algebra 2" " in this blog.) You must not use the analytics to prove arithemetical
conjectures. Fermat conjecture is back to the starting point?
So you cannot get a countable model for a given axiom system. Gödel's completeness
theorem may be wrong.
The standard mathematics treating the real numbers isn't consistent. (Refer to "Defect of
the formal algebra 2" " in this blog.) You must not use the analytics to prove arithemetical
conjectures. Fermat conjecture is back to the starting point?