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