Математическая энциклопедияОБЩНОСТИ КВАНТОР- то же, чтовсеобщности квантор.ОБЩЕЕ РЕШЕНИЕОБЪЕМНОСТИ АКСИОМА