1,784 followers
そういえばA New Approach to Abstract Syntax with Variable Bindingを読もうとしたらFraenkel-Mostowski permutation modelは選択公理とZFAの独立性が〜と突然の集合論だった https://t.co/2tiBk7xouL
そういえばA New Approach to Abstract Syntax with Variable Bindingを読もうとしたらFraenkel-Mostowski permutation modelは選択公理とZFAの独立性が〜と突然の集合論だった https://t.co/2tiBk7xouL