抽象的な論理構造『こそ』が現代数学と呼ぶに値する。

猫