13/10/15 23:07:47.08 .net
>>272,273.274
定義もステートメントも読んでるんですが？
> 公理系の「言語」で書かれた論理式
の範囲が明確にわからないって話ですよ。
13/10/15 23:07:47.08 .net
>>272,273.274
定義もステートメントも読んでるんですが？
> 公理系の「言語」で書かれた論理式
の範囲が明確にわからないって話ですよ。
13/10/15 23:07:47.08 .net
>>272,273.274
定義もステートメントも読んでるんですが？
> 公理系の「言語」で書かれた論理式
の範囲が明確にわからないって話ですよ。