Tarski's theorem asserts that, from such a formula, one may compute an equivalent formula without quantifier (∀, ∃).
Το Θεώρημα του Tarski ισχυρίζεται ότι, από εναν τετοιο τύπο, μπορεί κανείς να υπολογίσει τον ισοδύναμο τύπο χωρίς ποσοδείκτη (∀, ∃).