12/10/07 15:47:49.30
もしかして>>41の
「相応に豊富な任意の公理系」って二階算術のことで、モデルってのは
二階算術としての標準解釈（Henkin解釈ではなく）だったりするのかな
まさかね
12/10/07 15:47:49.30
もしかして>>41の
「相応に豊富な任意の公理系」って二階算術のことで、モデルってのは
二階算術としての標準解釈（Henkin解釈ではなく）だったりするのかな
まさかね
12/10/07 15:47:49.30
もしかして>>41の
「相応に豊富な任意の公理系」って二階算術のことで、モデルってのは
二階算術としての標準解釈（Henkin解釈ではなく）だったりするのかな
まさかね