数とは何か、数学とは何か

証明論とモデル論

数の発明 (岩波科学ライブラリー)

 「聖」「俗」とは、神の創造物の表現論と普遍性（グノーシス主義から理神論）を経由して、抽象性と一般性のことを言っていると思う。
　このとき、高木貞治がエミ・ネーターを支持し、岡潔が支持しなかったのは、なぜか。