أرسل هذا في رسالة قصيرة: Proof and knowledge in mathematics