>>480
>>475
バカが勝手に作った無関係な話
これ↓は∃

(1)もしn個の公理より成る、ある無矛盾な公理系が存在すると仮定する。この公理系をAnと呼ぶことにする

ガチガイジ>>475は∀

つまり問題を改変しているか、量化子を読み取る知能が無い