fujicategory https://blog.hatena.ne.jp/fujicategory/ 数学基礎論の勉強ノート https://fujicategory.hatenadiary.org/ 第１章 数学基礎論（新井敏康）第１章 １階論理入門に沿ってまとめています。 第１章の大きなトピックはコンパクト性定理と完全性定理ですが、はじめに１階述語論理を形式化します。流れは、 １、言語Ｌ：意味を持たない記号の集合、を定義する。 ２、構造Ｍ：言語Ｌの解釈、を定義する。 ３、公理系Ｔ：言語Ｌの閉論理式の集合、を定義する。 ４、公理系Ｔの「モデルである」「定理である」「閉論理式φが充足可能である」といった概念を定義する。 といった感じ。この記事では１から３まで。 言語と構造 意味を持たない記号の集合と、その記号の解釈を別の集合によって与えます。 言語Ｌ 関数記号ｆと関係記号Ｒと定数記号ｃの集合 L-構… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffujicategory.hatenadiary.org%2Fentry%2F20110621%2F1308660034" title="言語、構造、公理系 - 数学基礎論の勉強ノート" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-06-21 21:40:34 rich https://fujicategory.hatenadiary.org/entry/20110621/1308660034 1.0 100%