toplogo
התחברות
תובנה - 二階亨金邏輯中的選擇公理