Each of these systems is sound, which means any sentence they can be used to prove is logically valid in the appropriate semantics.
Καθένα από αυτά τα συστήματα είναι πλήρες ,το οποίο σημαίνει ότι κάθε πρόταση μπορεί να χρησιμοποιηθει προς απόδειξη είναι λογικά έγκυρη στις κατάλληλες σημασιολογιες.