أرسل هذا في رسالة قصيرة: Strict Finitism and the Logic of Mathematical Applications