17/11/01 13:11:13.35 ScFh/IWE.net
>>944
外延記法や和集合の記号を追加していったとき、
集合一般に関して左端に∈が現れないことを示すには、論理式の長さもしくは論理式の構成に関する帰納法が必要
そこまで一般的な主張をせず、「∈ ＋ 変数記号」が集合でないことを示すだけに留めるとしても、
>>913と同様に文字数に関する考察が必要
17/11/01 13:11:13.35 ScFh/IWE.net
>>944
外延記法や和集合の記号を追加していったとき、
集合一般に関して左端に∈が現れないことを示すには、論理式の長さもしくは論理式の構成に関する帰納法が必要
そこまで一般的な主張をせず、「∈ ＋ 変数記号」が集合でないことを示すだけに留めるとしても、
>>913と同様に文字数に関する考察が必要