КАСТРО:
Действительно, детский сад... Ладно, повторюсь:
I. ПОСТУЛАТ (от лат. postulatum — требование),
1) утверждение (суждение), принимаемое в рамках какой-либо научной теории за истинное, хотя и недоказуемое ее средствами, и поэтому играющее в ней роль аксиомы.
2) Общее наименование для аксиом и правил вывода какого-либо исчисления.
II. АКСИОМА (греч. axioma), положение, принимаемое без логического доказательства в силу непосредственной убедительности; истинное исходное положение теории
III. ОПРЕДЕЛЕНИЕ (дефиниция),
1) установление смысла незнакомого термина (слова) с помощью терминов (слов) знакомых и уже осмысленных (номинальное определение) или путем включения в контекст знакомых слов (контекстуальное определение), или явного формулирования равенства (явное, или нормальное, определение), в левую часть которого входит определяемый термин, а в правую — определяющее выражение, содержащее только знакомые термины.
2) Уточнение предмета рассмотрения, однозначная его характеристика (реальное определение).
3) Введение в рассмотрение нового предмета (понятия) посредством указания на то, как этот предмет построить (получить) из предметов данных и уже известных. В последнем случае определение принимает вид системы определяющих соотношений (схем, равенств) или «шагов перехода» (шагов индукции) от явно определенного и известного к искомому неизвестному (рекурсивные и индуктивные определения).
С уважением Абрашин И.Л.