Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 を、少し書き換えて、再アップしました。