21/10/25 00:09:53.36 wB/2IR+g.net
>>548
つづき
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理
一階述語論理（英：first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英：second-order predicate logic）と呼ぶ。それに、さらなる一般化を加えた述語論理を高階述語論理（英：higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。
URLﾘﾝｸ(ja.wikipedia.org)
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および／または無限に長い証明を許す論理である。
URLﾘﾝｸ(infinitytopos.wordpress.com)
はじまりはKan拡張
∞カテゴリー
投稿日: 2015年1月30日 投稿者: infinity_topos
●∞カテゴリーの3つのモデル
さて，Lurieの理論に話をもどそう．Higher Topos Theoryにおいて，この”(∞,1)-圏”というアイデアを実現する対象として，ある意味において同値な次の3つのモデルを導入している．
1.topological category
2.simplicial category
3.quasi category
(引用終り)
以上