下載 Linnk AI
•
AI 研究助理
>
登入
洞見
-
二階亨金邏輯中的選擇公理
論述選擇公理與三分律在二階亨金邏輯中的獨立性
本文證明了在二階亨金邏輯中，選擇公理的特定形式（1-1 阿克曼選擇公理集，HAC）成立，而三分律則不成立。
論述二階亨金邏輯中選擇公理與良序定理的獨立性（第一部分）
本文探討了在亨金語義下的二階謂詞邏輯中，良序定理相對於阿克曼選擇公理的獨立性證明。
1
