Prädikatenlogik/Gleichheitstautologien/Axiom

Es sei $S$ ein Symbolalphabet, $s,t$ seien $S$-Terme und $\alpha$ sei ein $S$-Ausdruck. Dann sind die beiden folgenden Ausdrücke syntaktische Tautologien.

1. $⊢t=t.$

2. $⊢s=t\wedge \alpha \frac{s}{x}\to \alpha \frac{t}{x}.$