If the equality symbol is considered part of logic, and t1 and t2 are terms, then t1 = t2 is a formula.
Εάν το σύμβολο της ισότητας (ίσον) θεωρηθεί μέρος της λογικής, και t1 και t2 είναι όροι, τότε το t1 = t2 είναι τύπος.