Some logical systems do not have all four properties.
Κάποια λογικά συστήματα δεν έχουν και τις τέσσερις αυτές ιδιότητες.