「ZFCの最小モデルL(R)」って、こいつ本当に分かって書いてるのか?