しかし具体例や数学的直感を軽視するのが悪いことではなく、あくまで公理系の無矛盾性が大多数の数学者にとって問題であり、そのため数学の基礎や証明などの根本的部分にその批判が差し向けられたのである。