前回は「そういえば当たり前のように数学の証明の手続きを受け入れてしまっているけど、推論の確かさの定義ってどうなってんの」ってことで一通り調べて、一応の納得できました。その時はそれで終わったのですが、ふと車の運転中に「『前提が全て真なら結論も...