19/09/14 07:44:02.93 VYIPOabR.net
ニワトリ、集合論研究者にツイッターで尋ねて爆死の図
ニワトリ「ZFCで”x ∈ y → x ⊂ y”は証明できますよね？」
研究者 「アホか！反例があるわい！」
19/09/14 07:44:02.93 VYIPOabR.net
ニワトリ、集合論研究者にツイッターで尋ねて爆死の図
ニワトリ「ZFCで”x ∈ y → x ⊂ y”は証明できますよね？」
研究者 「アホか！反例があるわい！」
19/09/14 07:44:02.93 VYIPOabR.net
ニワトリ、集合論研究者にツイッターで尋ねて爆死の図
ニワトリ「ZFCで”x ∈ y → x ⊂ y”は証明できますよね？」
研究者 「アホか！反例があるわい！」