ふぃっしゅ関数Ver.5の決定版定義

m(1): (自然数→自然数)
m(1)x=x^x
m(2): ((自然数→自然数)→(自然数→自然数))
(m(2)m(1))x=(m(1)^x)x
m(3): (((自然数→自然数)→(自然数→自然数))
    →((自然数→自然数)→(自然数→自然数)))
((m(3)m(2))m(1))x=(m(2)^x m(1))x

一般に、自然数nに対して、m(n+1)は以下のように定義される。
(・・・((m(n+1)m(n))m(n-1))・・・m(1))x
=(・・・((m(n)^x m(n-1))・・・m(1))x

ふぃっしゅ関数Ver.5はm(n)を用いて以下のように定義される。
F5(x):=((..((m(x)m(x-1))m(x-2))...m(2))m(1))(x)