أرسل هذا في رسالة قصيرة: Vagueness and intuitionistic logic