Определение логической системы Остенсивное определение в логике примеры