أرسل هذا في رسالة قصيرة: Конструктивная теория доказательств и нестандартный анализ