Sometimes they should just add new axioms.

• 面对不可约的数学事实，就该这麽做。