susumu 2.B 不完全性定理②-無限の技・集合