ちなみにω不完全性について俺が知っていることと言えば
「体系に決定不能な文が存在するとき、その体系は不完全という」

それをω不完全性というらしい、ってことぐらいだ