Рис.6. Соподчинение объемов понятий формальной логики.