（>>313より）
おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」やる気ないです
但し、好きなときに好きなことを書かせてもらいます（＾＾

ちょっと思いついたので、下記をば

>>314
＞ωの一番右のΦってなんだよ？ｗ

じゃ、
ノイマン後者関数（左右入れ替え）；suc(a) := {a}∪a（= a∪{a}）
とでもしておけば良い
ωの一番左のΦだよ
等号（＝）に一番近いやつ
これは動かないから
探さなくて良いぜ(゜ロ゜;