Шаг 2. Мета-аксиома