上の方でロジックは数学か論争があったけど
さっき両者の違いが分かった。
通常の数学は無限を自明なものとして扱う
ロジックは無限と有限を慎重に有限的な視点から扱うって点だわ。
だから通常の数学の方が自由度が高くて、
数学的対象を内省なしに美的観点からも研究できる。
ロジックは割と技術的、数学自体の正当性や具体的な実現可能性を
研究することが可能なんだ。