ここに、論理関係の用語の対応表を書く予定です。でも、今週は無理で、来週（15日）以降。順不同、備忘のための羅列： 命題論理 述語論理 古典論理 命題 述語 証明 意味 モデル 基本、基礎 原子、アトム、個体 コンテキスト 算術 推論 演繹 論理式 推論規則 …

※この記事は「記事27」演繹システム付属（むしろ内蔵）のプログラミングシステムとして、自然数の算術を使うことにはメリットがあります。自然数は誰にとってもお馴染みで、自然数の算術は非常に確実性が高いとみんな信じています。しかし、プログラミングの…

※この記事は「記事26」プログラムで扱うデータの集合について述べます。ひとつ前の記事は読んでいるものとします。 プログラミングシステム (A25) 内容： 高々可算集合 列挙子付き集合 列挙子付き集合の別な見方 データ領域 タプリング写像と成分取り出し〈…

※この記事は「記事25」実用的な（意味のある）演繹システムは、その一部としてプログラミングシステムを含んでいます。プログラミングシステムはプログラミング言語を持ちます。プログラミング言語には、完全に抽象的・概念的な数学的形式言語（例：ラムダ計…