In 1965, C. Allendoerfer, Professor of Mathematics at the University of Washington said, (mathematical models) “are abstract systems of undefined words, axioms, etc (that) need have nothing whatsoever to do with nature. They are no longer models of anything, but are merely structures built by mathematicians because they are thought worth investigating. Since these abstract mathematical systems did not spring from nature, there is no obligation for their advocates to apply related theorems back to nature and consequently we have a mathematics which exists purely of and for itself. A large part of contemporary math is of this kind.”
Modern mathematicians are not interested in Truth or non-Truth at all. They are interested only in validity, internal consistency and non-contradiction.