数理論理学（数学基礎論） その13

[0517 １３２人目の素数さん 2018/12/08(土) 17:35:01.92 ID:i2ykux+B]

>>506
キューネンだとブール代数値モデルが(理由は書いてあるけど)あまり触れられないから、
separativeは分からないな……