раздел математической логики, логика классов,представленная (построенная) как исчисление; примерно соответствуетсиллогистике Аристотеля.
