(7.1.1)_数学の正しさ