>>682
前々から思っていたんだが
誰もロジックが数学とは主張していないのだが。
つまるところ数学がロジックだと。
数学的対象や数学の記法のすべてをロジックは内包している。
とりわけロジックの中心に公理的集合論とモデル理論がある。
モデル理論はある種の洗礼を受けていない人間には難しい。
であるから計算論や具体的な計算モデルを提示することで
地上の者ども、つまるところ美しいものを賛美する盲目者を導いているのだろう。