命題

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