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