不完全性というのは無限集合についての性質を有限個の公理と
有限回の演繹で捉えようとする数学の負った宿命みたいなもの。