- a formal system is consistent if there is no statement such that the statement itself & its negation are both provable in the system