16/06/04 15:56:24.96 EdJlY4u6.net
おっちゃんだが、今週は素通りかw
まあ、>>311-316、>>318-320でいいたかったのは、
標準的な考えになっているヒルベルトの公理主義と対立した直観主義の話な。
ペアノの公理とかを持ち出しているスレ主は、こういう話が好きそうだろう。
>320の例では標数が2の有限体 F＝{-1,0,1} の話だが。
「2≠0 ではない」を記号で書くと ￢(￢(￢(2＝0))) と書ける。
16/06/04 15:56:24.96 EdJlY4u6.net
おっちゃんだが、今週は素通りかw
まあ、>>311-316、>>318-320でいいたかったのは、
標準的な考えになっているヒルベルトの公理主義と対立した直観主義の話な。
ペアノの公理とかを持ち出しているスレ主は、こういう話が好きそうだろう。
>320の例では標数が2の有限体 F＝{-1,0,1} の話だが。
「2≠0 ではない」を記号で書くと ￢(￢(￢(2＝0))) と書ける。