吉田・赤(2013)によれば、長らく数学はパスカルのいう「論証的方法」にしたがっているがゆえに厳密な学問であると信じられていた。論証的方法とは、自明のものを除くすべての「言葉」を「定義」し、また自明でないすべての「命題」を「証明」しつくすという…