13/11/29 22:44:22.69
>>332
その両方使う証明方法が載っている文献を教えてくれませんか。
（ヘンキン定数しか使わない証明およびヘンキン定数すら使わない証明しか知らないので）
13/11/29 22:44:22.69
>>332
その両方使う証明方法が載っている文献を教えてくれませんか。
（ヘンキン定数しか使わない証明およびヘンキン定数すら使わない証明しか知らないので）
13/11/29 22:44:22.69
>>332
その両方使う証明方法が載っている文献を教えてくれませんか。
（ヘンキン定数しか使わない証明およびヘンキン定数すら使わない証明しか知らないので）