投稿日: 2019年3月25日2025年11月28日証明論 Proof Theory || 人間がなにかを推測するときの考え方『論証』を数理に落とし込んだもの“証明論 Proof Theory” の続きを読む
投稿日: 2019年3月25日2025年12月15日モデル理論 Model Theory || 要請から実体を得て文の意味から真偽が数学における『意味論』と考えて良いです“モデル理論 Model Theory” の続きを読む
投稿日: 2019年3月25日2026年1月12日様相論理 Modal Logic || 様相っていう聞き慣れない単語「必然性」と「可能性」について言及したもの“様相論理 Modal Logic” の続きを読む
投稿日: 2019年3月25日2025年9月25日命題記号 Symbol || 数学で扱われる基礎となる記号基本的には「 ￢,∧,∨,→(⇒) 」だけですが使用頻度が高いことから「 ↔(⇔) 」これも含まれます“命題記号 Symbol” の続きを読む
