- a consistent formal system cannot prove its own consistency