أرسل هذا في رسالة قصيرة: The axiom of determinacy, forcing axioms, and the nonstationary ideal