たとえば
整数係数の整数に素数2が使われているという現実がある
これはつまり大は小を兼ねるにより
整数は素数である

一方P⊂Zから
素数は整数である

ゆえに

P=Z

おまいらの部分集合及び論理の限界

俺は違う