It seemed clear to him that this axiom could be dispensed with.

• 看来他清楚地认识到这个公理能够去掉。