>>301
ノイマンの不完全性定理に関する論文
目的はコンピュータの自己診断について