1) 数学が恒真文によって定義づけられるのであれば、数学の全内容は「AはAである」の一文に帰するのか？直観的にはそうでないと感じられるが、その根拠は何か？ 解答の手がかり：「数学―その形式と機能」S.マックレーン ・数学は形式的なネットワークである…