現在2023年12月8日15時06分である。（この投稿は、他の投稿を引用しているので、文字数は分かりません）
古典論理の他に、直観主義論理というものを知り、その入口まで行き、数学をふたつ持って、見方が広がった話の連載。
・ を確認する方法を持っている
27182818284590452.hatenablog.com
・太郎さんが、本当に、目の前で、気になったところを、全部チェックしながら、数学を作っているの、感じたわ
27182818284590452.hatenablog.com
・『 導入-仮定除去』？
27182818284590452.hatenablog.com
・
27182818284590452.hatenablog.com
・古典論理を、さらに
27182818284590452.hatenablog.com
・間違いの指摘と修正
27182818284590452.hatenablog.com
・ブルバキの公理
27182818284590452.hatenablog.com
・否定除去という新しい推論が加わる
27182818284590452.hatenablog.com
・片方否定についての考察
27182818284590452.hatenablog.com
・ を用いた排中律の説明
27182818284590452.hatenablog.com
・ブルバキの論理の公理の証明終了
27182818284590452.hatenablog.com
・数学を悟ってみて
27182818284590452.hatenablog.com
・証明し残したこと
27182818284590452.hatenablog.com
・これからの展望
27182818284590452.hatenablog.com
お疲れ様でした。以上で、おしまいです。
現在２０２３年１２月９日１６時０３分である。おしまい。
