14/06/24 23:13:01.81
>>549
ペアノは自然数を公理化したが、集合論上に
そのモデルを作る遊びが流行したし、その延長で、
自然数論上に整数や有理数のモデルを構成したり
有理数論上に実数のモデルを構成したりすることも
流行した時代がある。
そのへんを聞きかじった者の中には、
(公理的に)定義することとモデルを構成することの
区別がついてない奴がよくいる。
14/06/24 23:13:01.81
>>549
ペアノは自然数を公理化したが、集合論上に
そのモデルを作る遊びが流行したし、その延長で、
自然数論上に整数や有理数のモデルを構成したり
有理数論上に実数のモデルを構成したりすることも
流行した時代がある。
そのへんを聞きかじった者の中には、
(公理的に)定義することとモデルを構成することの
区別がついてない奴がよくいる。