全称限量子ぜんしょうげんりょうし<ぜん'しょう>・げん'りょう'し7

LogikAllquantorUniversalquantorUniversalquantifikatorGeneralisator∀