小難しい式をぶつけるバトルってやっぱりいいですよね。 難しそうに見えますが、要は現実改変能力です。 作者は命題論理、述語論理、モデル理論のことを1mmも知りません。 強そうな能力ですが、実は範囲がそこまで広くないので神レベルとは行きません。 「無限」の要素がある相手にかなり強い