Логіка

Закон виключеного третього (лат. tertium non datur — «третього не дано») — один з основних законів класичної логіки, згідно з яким із двох суперечних висловлювань — «A» і «не A» — одне обов’язково істинне.

Класифікація (від лат. classis — розряд, клас, і facio — роблю) — багатоступеневий, послідовний поділ обсягу поняття або множини предметів на групи (класи) за певними ознаками, у результаті якого виникає система підпорядкованих понять.