>>381 追加

"いつになったら制限されている論理式を書くの？"
か
笑えますｗｗｗ

そもそも、公理とは？ 公理系とは？
から分っていない連中がいる

下記
”近藤友祐 神戸大学工学部電気電子工学科3 年”
全ページ、百回音読してね

”述語論理再び
集合論の”内側" での一階述語論理”
”例えば，L∈ := {∈}として，ZFCに対応する集合ZFC ⊆ SentL∈を考えたりできる”
とあるでしょ？

出来上がったZFC集合の中で、制限した一階述語論理を使います
ということ

(参考)
elecello.com/doc/2016/06/unityLogic.pdf
数物セミナー春の大談話会2016@KOBE
数学を数学するお話 数理論理学 June 19, 2016
近藤友祐 神戸大学工学部電気電子工学科3 年

内容
1
導入
形式化ということ
ことの起こり
2
述語論理と公理的集合論
集合論の”外側" での一階述語論理
ZFC 集合論
3
集合論から
順序数
基数
4
述語論理再び
集合論の”内側" での一階述語論理

P66-67
第4部：述語論理再び
第4部の目標
第2部でやった述語論理の構成(述語論理の構文論)を集合論の中で繰り返す．
また集合論の中では無限集合を含む構造を定義できるから，述語論理の意味論を十分に展開できる．
第4部での約束：引き続きZFCの住人になる．

P71
(本物の)L∈論理式が書けるし，これを使ってL項，論理式，文全体の集合TermL FmlL SentL が定義できる．
例えば，L∈ := {∈}として，ZFCに対応する集合ZFC ⊆ SentL∈を考えたりできる．