なんか総括がはやっているので、F5誕生の経緯を過去ログを読み
ながら思い出してみます。

4スレ734-735がF5の発想です。いつもながら、とても荒削りな
発想でしたが、l.b.氏や他の方とのやりとりで、739,744,746,747
といったあたりで大まかな方針が固まり、そこから次第にアイデアが
洗練されていきました。

そして、962-966で、ほぼ定義が固まりました。定義の記述は、
だいたいがl.b.氏によるものです。5スレの10-14に書かれているのは、
4スレの内容をそのまま書いただけです。

4スレ734の荒削りな発想（普通の人は読んでも理解できない文章）
から、F5完成までたどり着けたのは、l.b.氏、巨大数スレッドの
底力だと思います。

後の評価によってF5はF[ε_0]つまりヒドラと同じレベルにまで達する
ことが分かりましたが、F5発想時はHardyもヒドラも知りませんでした。
それどころか、多重帰納のなんたるかも正確に理解していませんでした。
作成者の想像と能力をはるかに超えたものが結果としてできたわけです。