「完全性定理」の「完全」と「不完全性定理」の完全とは
意味が違うけど、完全性定理の話と不完全性定理の話は
無関係ではない。「関係がある」の定義を述べよと言われ
ても困るけど。