無限論理
infinitary logic
無限論理 - Wikipedia
Infinitary logic - Wikipedia
Infinitary Logic (Stanford Encyclopedia of Philosophy)
無限長の命題
無限重の量化子
無限長の證明
不動點意味論
最小不動點
(
歸納法
)
最大不動點
(
餘歸納法
)