無限論理
infinitary logic
無限論理 - Wikipedia
Infinitary logic - Wikipedia
Infinitary Logic (Stanford Encyclopedia of Philosophy)
infinitary logic in nLab
無限長の命題。無限重の量化子
無限長の證明
有限公理化不可能な公理系を記述できるのは
高階述語論理
と似てる
Ω 論理
不動點意味論
最小不動點
(
歸納法
)
最大不動點
(
餘歸納法
)