全称作用素ぜんしょうさようそ<ぜん'しょう>･さ'よう'そ6

LogikAllquantorUniversalquantorUniversalquantifikatorGeneralisator∀