susumu 2.C 不完全性定理③-論理主義・直観主義