This is first incompleteness theorem. What deepsun was referring to is second incompleteness theorem - in a consistent system F the statement 'F is consistent'

This is first incompleteness theorem. What deepsun was referring to is second incompleteness theorem - in a consistent system F the statement 'F is consistent' is in fact unprovable (in F).