всі тавтології виводяться у цій формальній системі

всі теореми, які в ній виводяться, є тавтологіями

жодне з попередніх

деякі (не обов’язково всі) логічно істинні формули можуть бути доведені в цій системі