P=NPの証明
NPC=TSPは演繹不能なゲーデル数に対応しているー>でも使えばP−>だからP=NP