再帰的可算だが再帰的ではない集合
このような集合の存在から第1不完全性定理を導くことが出来る
再帰的可算だが再帰的ではない集合から第1不完全性定理を導く