generated at
2/17/2025, 8:02:07 PM
量化子
全称量化子∀
存在量化子∃
量化子の順序