神託式として持つマイクロ言語のラヨ関数である。これは、ラヨ関数およびラヨ関数よりも増加速度が小さい関数(計算可能関数、ビジービーバー関数、クサイ関数)を使って定義されるいかなる関数よりも増加速度が大きい。なる最初の順序数であり、クサイ関数が急増加関数でこの順序数に到達するとされている。神託式として組み込んだマイクロ言語のラヨ関数である。はるかに増加速度が大きい。同様で、急増加関数がラヨ階層に変わったものとなる。\(F_7(x)\)の定義と増加速度は、このようになる。\end{eqnarray*}ふぃっしゅ数バージョン7は、次のように定義され、近似される。紹介されてから、グーゴロジスト達の間で以下のような議論がされた[2][3]。ふぃっしゅ数バージョン7はラヨ数よりもはるかに大きい。ラヨ数のマイクロ言語(FOST)の中で、ラヨ関数を計算する式を立てることは可能であると思われる。その場合には、ラヨ数よりも大きな数を\(10^{100}\)文字以内のFOSTで表現した時に、その式は矛盾を引き起こすため(\(10^{100}\)文字以内のFOSTで表現出来ない最小の数を\(10^{100}\)文字以内のFOSTで表現したことになる)、その式は1つの数を指定しない。ラヨ数の定義では、1つの数を指定しない式は除外されるので、そのような式は除外される。したがって、FOST自身のラヨ関数を有効にFOSTの中に組み込む事はできない。ラヨ数をさらに強くするためには、マイクロ言語を構成する形式体系をより強くすることが有効である。強い形式体系は、より強いラヨ関数を作る。加えることが有効であると考えられる。ラヨ数とふぃっしゅ数バージョン7の定義について、一階の論理体系におけるモデルを明確に定義する必要があるとの指摘がある[4]。その後議論が続けられ、ふぃっしゅ数バージョン7によるラヨ数の拡張は、たしかにラヨ数を大きく越える数を生み出すものの、FOSTの本質的な拡張とはなっていないとして、FOSTを本質的に拡張することで、さらに大きな巨大数を構築することができるはずであると、研究が重ねられた。その結果、Wojowuにより、FOSTよりも豊かな表現ができる形式体系であるFOOTと、FOOTによって作られる巨大数ビッグフットが定義された。ふぃっしゅ数バージョン7に関する議論はビッグフットが生み出されるきっかけとなった。ライセンスの下で利用可能です。