無限論理
infinitary logic
無限論理 - Wikipedia
Infinitary logic - Wikipedia
Infinitary Logic (Stanford Encyclopedia of Philosophy)
infinitary logic in nLab
無限長の命題。無限重の量化子
無限長の證明
有限公理化不可能な公理系を記述できるのは
高階述語論理
と似てる
Ω 論理
Ω-論理 - Wikipedia
Ω-logic - Wikipedia
依岡輝幸「強制公理とΩ-論理」2009
ZFC 集合論
の論理として考へると、
連續體假說
の否定を豫想する
不動點意味論
最小不動點
(
歸納法
)
最大不動點
(
餘歸納法
)