それって

http://www.kmonos.net/wlog/70.html#_2111070226で紹介されてる例をみて、それって決定公理に物凄く似てるなと思いました。といっても決定公理を正しく理解しているわけではないですが。

そう言えば集合論の竹内外史もP対NP問題の研究をやってたな……。