21/05/31 16:34:46.44 bKoS+/J9.net
>>688
え？？？
キミ量化子知らんの？
1∈2∈3∈・・∈∃n∈ω
は
ある自然数nが存在して
1∈2∈3∈・・∈n∈ω
を満たす
という意味だよ？
1∈2∈3∈4∈ω
は真じゃないと？ 大丈夫？キミ
21/05/31 16:34:46.44 bKoS+/J9.net
>>688
え？？？
キミ量化子知らんの？
1∈2∈3∈・・∈∃n∈ω
は
ある自然数nが存在して
1∈2∈3∈・・∈n∈ω
を満たす
という意味だよ？
1∈2∈3∈4∈ω
は真じゃないと？ 大丈夫？キミ