集合をなすんだから「集合をなさないので集合論で扱えない」とかいう言い訳が通用しなくなる

圏論原理主義者の敗北ｗ