أرسل هذا في رسالة قصيرة: Constructive mathematics - its set theory and practice