Statements like this always bring me back to Goedel's incompleteness theorem...