基礎論(自称)は選択公理を否定してくれとさ、馬鹿じゃね