**Theorem** The [[Axiom of Unrestricted Comprehension]] leads to a contradiction. **Proof**