P＝NPがZFCから独立ということはありえないような気がする。
一つでもPなNP完全問題を見つければよいだけだから。
P≠NPならZFCから示せないと言うのならわかる。
これは超越的な方法を使う必要がありそうだから。