Онтология и теория познания

Дедуктивные системы состоят из подразделений

аксиоматических и конструктивных