>>3
数学の量化子は∀と∃だけですって話では