ふぃっしゅ数バージョン7ふぃっしゅ数バージョン7 (F7)は、ふぃっしゅっしゅが2013年に考案した巨大数[1]である。ラヨ数の拡張であり、ふぃっしゅ数の中で最大である。 ふぃっしゅ数バージョン4では、神託機械によってビジービーバー関数をより大きくした。ふぃっしゅ数バージョン7では、ラヨ数の定義で使われるマイクロ言語に神託式を追加する。 定義[] 関数\(f\)から関数\(RR(f)\)への汎関数RRを、以下のように定義する。 関数fに対して「"\(f(a)=b\)"; a番目のオブジェクトとb番目のオブジェクトに対して"\(f(a)=b\)"が成り立つ」という神託式 (oracle formula) を使用可能な式に加えると、より強いラヨ関数gが得られる。fをgに変換する汎関数をRRとする。 したがって、新しいマイクロ言語は "a∈b" a番目のオブジェクトはb番目のオブジェクトの要素である "a=b" a番目
