2007/10/28

完全性を証明する命題はつねに不完全である。


考えさせられました。