命題

暇つぶしに見て

「健全且つ妥当」な推論の手続き

論理包含の法則とか眺めていたらふと、思ったことがあって。それは数学的(論理的)に証明が正しいことの定義ってどうなっているのだろうと。この手順を踏んだ場合のみ、前提から導き出した推論は正しいと言っていいって公理があるはずですが、そういえば知ら...