「命題の意味が分かる」というのは、その命題の真偽の条件が分かるということだろう。だとすると、その命題の真偽を検証する方法が分からなければ、その命題の意味を分かっていないということになる。だとすると、証明されていない数学的命題はだれもその意味

続きを読む