О логической структуре математических определений

В статье проведен анализ родо-видовых определений (такие определения составляют подавляющее большинство в курсе математики средней школы) средствами математической логики. По результатам этого анализа даны некоторые рекомендации по выбору логической формы определения.