Among the important properties that logical systems can have are: Consistency, which means that no theorem of the system contradicts another.
Μεταξύ των σημαντικών ιδιοτήτων που τα συστήματα λογικής μπορούν να έχουν είναι: Συνέπεια, που σημαίνει ότι κανένα θεώρημα του συστήματος έρχεται σε αντίθεση με ένα άλλο.