أرسل هذا في رسالة قصيرة: Advanced procedure and axioms