Incomplete, not inconsistent; i.e., not everything that is true is provable.