First incompleteness theorem

Summary