実は半分本気

「ミルカさんにPCF」は半分本気でやれるのではと思っています。ですので誰か同人誌出してください(そこで他力本願かよ!)。しっかりと一つ一つを詰めてやれば{\aleph_\omega}^{\aleph_0}\lt\max\{\aleph_{\omega_4}, (2^{\aleph_0})^+\}を理解するのはそんなに難しくはないはず(簡単とも時間がかからないとも言いませんが)。それをやるにはこのフォーマットは有効なのではないかと。