数学の質問スレ

このエントリーをはてなブックマークに追加
171132人目の素数さん
すいません。低レベルな質問ですが、お願いします。
ttp://takaosuda.hp.infoseek.co.jp/homepage/incomplete/chap01.html
↑のページで、

定義2 証明とは、真と認められる命題から新しい真の命題を導くことをいう。

とありますが、これはたとえば、「証明とは、真と認められる命題から、ある別の命題が真/偽のいずれであるかを判定することをいう」とでもしないと証明が成り立たないですよね?
それとも、「新しい真の命題を導くこと」のうちに、これと同じ意味が含まれてるんでしょうか?