数学は数学の正しさを証明する事が出来るか?
答えはNOである。