ネトウヨ発狂。
モデル(A set of formulas Φ in first-order logic)と公理系を取り違えてるハゲ