>>559

>>554に②は無いが？

「証明」の定義だが、数学的には「物事の意味をはっきりと記述した定義と、認めるべき公理と、
既に証明された事項である定理だけをもとに、論理的に命題が正しいということを導くこと」だ。

ちなみに、命題とは「正しいか正しくないかの判断の対象になるもの」だ。

>>544の②は何が元になっているかいまいち分からないが、とりあえず証明の形にはなって
いるんじゃないのか？疑問が出て来たらまた質問するが。

＞「これ以上の意味はない」よな
と質問したのは俺で、解答が得られていないんだけど。ちなみにコレは②の「証明」とは別に
存在するから、②の「証明」の成否とは関係無いぞ。