【妄想属性】プレステ５のプレステストアの裏メニュー
【名前】プリンキピア・マセマティカ・オリジン
【属性】ファイナルファンタジー・ウェストの副ボス
【性別】♂
【大きさ】ララ・サタリン・デビルークの幼女の姿を
身長と髪型を変えず男体化（ショタ）したものである
【攻撃力】髪の毛だけでダイマックスしたぐらいの大きさの
原作の『金色の闇』をワンパンできるが、意味があるか？
【防御力】特殊能力（後述）は余裕で何回も耐える
【素早さ】特殊能力（後述）より早く、時間無視
【特殊能力】
ナノマシンの作用より、彼の後ろ髪と
テンプレについて述べる。
形式言語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 を FOL' における 『尚且つ』の解釈で結合した1階論理式を Q とおいた時に 80(Q) が A において証明可能であるような最強 m である』ような任意の能力 m」を『
成人男性並みくらい』超えると定める。
f(トリアクルス)を「最小の証明を書けなくても戦え数」と定義する。
尚、それでもA_{妄想スレ}の禁止事項は行わない。
【備考】トリアクルスはJonathan Bowers氏のBEAFを用いて3&3&3
と書かれる値である。ここで&は『配列次元演算子』という。
【長所】自滅を恐れる賢者なので攻撃力が低め
【短所】難解な
テンプレ
297格無しさん2022/08/17(水) 16:59:49.39ID:L42IKOfX
【訂正】特殊能力は『最強の証明ができなくても戦え能力』です
298格無しさん2022/08/17(水) 17:01:19.48ID:L42IKOfX
【訂正2】
テンプレに『文字列』と書いてしまったものは妄想列と
書き直してください
299格無しさん2022/08/17(水) 17:23:40.42ID:L42IKOfX
【補足】彼は『最強の証明ができなくても戦え能力』を持つ
300◆z1qWXXpLbtDS 2022/08/17(水) 21:57:32.81ID:WjyoEyHW
プリンキピア・マセマティカ・オリジン 考察
元ネタは最小の証明を書けなくても戦え数
集合論とか数学の言葉を自然言語に置き換えるのは理論の中で暗黙の了解で省略されてる定義とか前提が成り立たなくなるので非常に危ない
特にこの場合も∧の解釈とか統語・メタ言語の概念とかは最強スレに合わせた文章にした時点で成り立たないかもしれない
多分考慮できないだろうけどひとつずつ見ていく
Nは0を含む自然数とする。
集合と定義してないと数学的には危ない。というか原文ではN直接出てるし書かなくても大丈夫だった気もする
FOLの「項」とはFOLの妄想列であって
妄想列とはなんぞや。最初にアルファベット集合って書いたんだから妄想列にしても定義不明になる。
特に、FOL から FOL_{論理式記号} を除いた形式言語 FOL' は1階述語論理の形式言語であり
論理式記号の変換を忘れたね。
ルール以外って逆になんだよ。原文はZFCの公理系から置換公理を除いてるんだから、この場合はせめて妄想スレのルールから1部のルールを排除するのが正しい。
そして自然数による形式体系、というか数学で扱う言語体系では自然言語は表現できない。数とか集合とかは記号と規則を与えれば構築できるけど、妄想スレのルールなんてかけるわけが無い。ここも定義が破綻している。
有限個の1階論理式を公理として P が FOL' において証明可能であるということである。
ここもギルティ。自然言語に置き換えてしまった時点で無定義の公理とか証明という概念を使用できない。
Aがペアノ算術を内包し
そして唐突に出てくるペアノ算術。ここは変換しなかったのか
A において証明可能であるような最強 m である』ような任意の能力 m
さっきと同じ。記号と文法だけじゃどうやっても能力や最強という概念を定義できないし、その文法も定義不明。というか原文では最小なんだから最弱というのが正しいのでは…
f(トリアクルス)を「最小の証明を書けなくても戦え数」と定義する。
引数でけぇなおい。原文グーゴルやぞ
まぁこんな感じで数学の言語で能力を定義するのは無理がある。特殊能力は考慮不能。
素早さは時間無視としても、防御力は定義不可、攻撃力も金色の闇が不明で定義不可。
考察に必要な情報を定義出来ないので考察不能。
最終更新：2022年08月18日 22:14
