07/01/18 09:40:19
>>140
一つ抜けてました。Ψは要素が有限個の集合です。
0＜φ()というのは、以下のように導けます。
0≧φ()とすると>>139の4行目より0+φ()＞0
ところが0+φ()=φ()であるからφ()＞0となり矛盾する よって0＜φ()
07/01/18 09:40:19
>>140
一つ抜けてました。Ψは要素が有限個の集合です。
0＜φ()というのは、以下のように導けます。
0≧φ()とすると>>139の4行目より0+φ()＞0
ところが0+φ()=φ()であるからφ()＞0となり矛盾する よって0＜φ()