06/11/29 01:04:50
＞厳密に言えばいいということですよ。
あなただって「負×負は正」の命題の定式化の仕方も複数あるのに
厳密に指定しなかったじゃないですか。
>>220
あなたが書いてある意味を理解できないから
抽象的だと思ってるんじゃないですか。
というか樹形図がどうだとか言ってないで
実際に具体的に公理系を構成してみたらどうですか？
原理的には公理に取り得るとか抽象的なことばかり言ってないで。
その上で何かメリットがある定式化のしかたになっているかどうか考えるとか。
06/11/29 01:04:50
＞厳密に言えばいいということですよ。
あなただって「負×負は正」の命題の定式化の仕方も複数あるのに
厳密に指定しなかったじゃないですか。
>>220
あなたが書いてある意味を理解できないから
抽象的だと思ってるんじゃないですか。
というか樹形図がどうだとか言ってないで
実際に具体的に公理系を構成してみたらどうですか？
原理的には公理に取り得るとか抽象的なことばかり言ってないで。
その上で何かメリットがある定式化のしかたになっているかどうか考えるとか。