>>523
∀で定式化した論理式が正しいことを証明しただけだろ
頭わいてるのかよ