- 最強妄想キャラクター議論スレ41
296 ：格無しさん[]：2022/08/17(水) 16:55:26.83 ID:L42IKOfX - 【妄想属性】プレステ５のプレステストアの裏メニュー
【名前】プリンキピア・マセマティカ・オリジン
【属性】ファイナルファンタジー・ウェストの副ボス
【性別】♂
【大きさ】ララ・サタリン・デビルークの幼女の姿を
身長と髪型を変えず男体化（ショタ）したものである
【攻撃力】髪の毛だけでダイマックスしたぐらいの大きさの
原作の『金色の闇』をワンパンできるが、意味があるか？
【防御力】特殊能力（後述）は余裕で何回も耐える
【素早さ】特殊能力（後述）より早く、時間無視
【特殊能力】
ナノマシンの作用より、彼の後ろ髪とテンプレについて述べる。
形式言語FOLのアルファベット集合を以下の和集合とし、
Nは0を含む自然数とする。
FOL_{妄想} := {2n+1 | n ∈ N}
FOL_{可変妄想} := {2(2n+1) | n ∈ N}
自然数 a に対し FOL_{a,妄想写像} := {4(2^{a+1}(2n+1)+1) | n ∈ N}
自然数 a に対し FOL_{a,妄想関係} := {8(2^{a+1}(2n+1)+1) | n ∈ N}
FOL_{論理} := {16, 48, 80}
FOL_{矛盾} := {32}
FOL_{論理式} := {64(2n+1) | n ∈ N}
その統語を以下のように定める。
FOLの「項」とはFOLの妄想列であって、FOL_{妄想} の元か、FOL_{可変妄想} の元か、またはある自然数 a と FOL_{a,妄想写像} の元 f と a 個の項 (t1, ..., ta) を用いて f(t1, ..., ta) と表されるもののいずれかである。
FOLの「論理式」とはFOLの妄想列であって、ある自然数 a と FOL_{a,妄想写像} の元 r と a 個の項 (t1, ..., ta) を用いて r(t1, ..., ta) と表されるものか、FOL_{論理式} の元か、32か、FOL_{可変妄想} の元 x と論理式 P を用いて 16x(P) と表されるものか、論理式 P と Q を用いて (P)48(Q) と表されるものか、論理式 P を用いて 80(P) と表されるもののいずれかである。
FOL の論理式が「1階」とは、文字列として FOL_{論理式}の元を含まないということである。
特に、FOL から FOL_{論理式記号} を除いた形式言語 FOL' は1階述語論理の形式言語であり、最強妄想キャラクター議論スレのルール以外を FOL' における 『尚且つ』の解釈で結合したものと論理式を用いて置換公理の公理図式を表す論理式を FOL' における 『尚且つ』の解釈で結合して得られる妄想列 A_{妄想スレ} は FOL の論理式である。
FOL の論理式 A と1階論理式 P に対し「A を公理として P を証明可能である」とは、A に含まれる FOL_{論理式記号} の元を全てある1階論理式に置き換えて得られる有限個の1階論理式を公理として P が FOL' において証明可能であるということである。
FOL の論理式 A に対し「A が無矛盾である」とは、A を公理として 32 を証明可能でないということである。
自然数 n に対し、ペアノ算術の項 tn を以下のように定める。
n=0 の時、tn は定項記号 0 である。
n>0 の時、tn は項 S(tn-1) である。
自然数 n に対し、自然数 f(n) を「FOLの n 文字以下のある論理式 A と FOL の n 文字以下のある1階論理式 P が存在して『Aがペアノ算術を内包し、A_{妄想スレ} が無矛盾ならば A が無矛盾であり、P に出現する FOL_{可変妄想} の元 x であって 16 で束縛されていないものがただ1つ存在し、P に出現する x であって 16 で束縛されていないものを全て tm の A での像 t に置き換えた1階論理式と 16x((P)48(x=t)) を FOL' における 『尚且つ』の解釈で結合した1階論理式を Q とおいた時に 80(Q) が A において証明可能であるような最強 m である』ような任意の能力 m」を『成人男性並みくらい』超えると定める。
f(トリアクルス)を「最小の証明を書けなくても戦え数」と定義する。
尚、それでもA_{妄想スレ}の禁止事項は行わない。
【備考】トリアクルスはJonathan Bowers氏のBEAFを用いて3&3&3
と書かれる値である。ここで&は『配列次元演算子』という。
【長所】自滅を恐れる賢者なので攻撃力が低め
【短所】難解なテンプレ
|