Universal generalization
article-link
What links here
Universal instantiation
List of rules of inference
article-link
Instantiation
article-link
Rule of inference
article-link
Direct proof
article-link
Equality (mathematics)
article-link
Universal quantification
article-link
Russell's paradox
article-link