19/01/19 09:41:49.41 sK9fzKOh.net
>>302
つづき
記号の意味
「∀xPx」は存在記号と否定記号とを用いて、「￢∃x￢Px」と表現することもできる。
「￢∃x￢Px」は「P でないような x は存在しない」という意味だから、
これはすなわち「全ての x は Pである」ということである。
URLﾘﾝｸ(en.wikipedia.org)
Universal quantification
(抜粋)
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all".
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理
(抜粋)
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
1930年にゲーデルが可算集合の