全称記号ぜんしょうきごう<ぜん'しょう>･き'ごう5

LogikAllquantorUniversalquantorUniversalquantifikatorGeneralisator∀