identity-intro |
Conclude any sentence of the form α=α.
Condition: None Annotation: =I Assumption set: Empty. Example. (a) 1 (1) c=c =IComment. An identity statement of the form α=α, like a theorem, requires no assumptions to justify its assertion. |