As dweller says below, I'll rephrase it here. Godel's incompleteness theorem proves that with any axiomatic system there are statements which are true but are absolutely not provable within the system. Godel, Escher, Bach is a beautiful read for this.