外見: 普通の魚/アジ目テッポウウオ科
普通の魚: 言語能力や人間的感情は一切無く芽生えない
攻撃力＆防御力＆: 魔力＆魔法防御力＆素早さ:Fish7
Fish7: 値などの詳細は能力欄を参照…
てっぽう: くちからみずをはっしゃする
l_0 = {∈, =, ∧, ∨, ¬, ⇒, ∀, ∃, (, )} l_{k+1} = l_k ∪ {sat_{l_k}} Fish7= min { n ∈ ℕ | ∀φ ∈ l_{10^100}( length(φ) ≤ 10^100 ⇒ ¬sat_{l_{10^100}}(n, φ)) }F_7 := F_7^{63}(10^{100}) ≈ R_{ζ_0}^{63}(10^{100})