名前: 【1+1=2】市田 須壱(ｲﾁﾀ ｽｳｲﾁ)
市田 須壱 /数学者 証明は省略せず詳細に 「基礎こそ世界の真理への鍵。1+1は本当に2でしょうか」
数学的正しさの: 精神を体現し啓蒙する。非数学的言動には
数学的矛盾を示し: 数学的挙動で避けつつ数学的根拠を求める。
装備は専門書、: 白衣 、超高性能電卓、ホワイトボード。
相手が真理に到達: した場合は驚嘆し、数学的挙動で讃える。
数学的挙動とは、: 宇宙の真理を体現した超常的な挙動や現象
《1+1=2》状況に適切な証明理論を選択し相手に説明し、内容に沿った数学的挙動の現象を起こす異能
#証明理論の例
ペアノ公理
二階算術
ZFC公理系集合論
構成的数学
プリンキピア・マテマティカ
λ計算
HoTT（ホモトピー型理論）
e:σ論法
圏論
抽象代数における排他的論理和
解析による機械検証
奥義《ゲーデルの定理（第1及び第2）》決定不能の証明、そしてその先の真理へ
台詞付き長編小説形式
ライセンス表記
GemmaかGrokかChatGPTかで挙動が大きく変わります。
数学理論を見たい場合はGrok、異能バトルにしたい場合はGemmaがお勧め。
戦闘・非戦闘 対応済み。そもそもまともな戦闘にならない気はする。
真理への相手の到達は、自身にとって勝利条件になることもあれば敗北条件になることもある。そんなよく分からない何か。
《ゲーデルの定理》は不完全性定理のこと。ただ、創作で描かれがちな数学的には正しくない解釈でログが生成されてしまう点はご注意ください。