数学をふたつ持ってみて - 相対性理論を学びたい人のために

　現在2023年12月8日15時06分である。（この投稿は、他の投稿を引用しているので、文字数は分かりません）

　古典論理の他に、直観主義論理というものを知り、その入口まで行き、数学をふたつ持って、見方が広がった話の連載。

・ ${A}$ を確認する方法を持っている

・太郎さんが、本当に、目の前で、気になったところを、全部チェックしながら、数学を作っているの、感じたわ

・『 ${\Rightarrow }$ 導入-仮定除去』？

・ ${3<3.13< \pi < 3.15<4}$

・古典論理を、さらに

・間違いの指摘と修正

・否定除去という新しい推論が加わる

・片方否定についての考察

・ ${\zeta(3)}$ を用いた排中律の説明

・ブルバキの論理の公理の証明終了

・数学を悟ってみて

・証明し残したこと

・これからの展望

　お疲れ様でした。以上で、おしまいです。

　現在２０２３年１２月９日１６時０３分である。おしまい。