First incompleteness theorem