please contact [Authors Name] at [Contact Information]. Keywords: DIKWP Model， Y. (2023).The Paradox of Mathematics in AI Semantics. Proposed by Prof. Yucong Duan: As Prof. Yucong Duan proposed the Paradox of Mathematics as that current mathematics will reach the goal of supporting real AI development since it goes with the routine of based on abstraction of real semantics but want to reach the reality of semantics.. Martin-Lf， the framework addresses previous limitations and paradoxes. It models the cognitive limits of human understanding and provides mechanisms for the evolutionary development of semantics.