We both have a sense for what is rational (and what is not), even if we lack a formal definition of rationality. Mathematics is much larger than formal language, which is what Gödel proved. There are certainly obscurities in mathematics.

I heartily disagree with your campaign against rationality and truth. By the way, what I have proposed as truth (which, as I said, may not be interesting to you) has nothing to do with correspondence or coherence; it is transcendent in the sense that it goes beyond methods used in science or philosophy.

When the Lord told Pilate he was the truth, Pilate responded philosophically, "What is truth?" You are in Pilate's camp, I suppose. But the philosophical denial of truth is just one way of disguising the Tyranny of Relativism, which always results in the use of force over reason (because it denies reason its critical role).

The practice of goodness is accompanied by a spontaneous spiritual joy and moral beauty. Likewise, truth carries with it the joy and splendor of spiritual beauty. Truth is beautiful in itself. Truth in words, the rational expression of the knowledge of created and uncreated reality, is necessary to man, who is endowed with intellect. But truth can also find other complementary forms of human expression, above all when it is a matter of evoking what is beyond words: the depths of the human heart, the exaltation of the soul, the mystery of God. Even before revealing himself to man in words of truth, God reveals himself to him through the universal language of creation, the work of his Word, of his wisdom: the order and harmony of the cosmos -- which both the child and the scientist discover -- 'from the greatness and beauty of created things comes a corresponding perception of their Creator,' 'for the author of beauty created them.' (Catechism of the Catholic Church, 2500)