>>596みたいな考えがある。
ロジックを数学として認める、とはそういうことを帰結する。