Remove notes from draft

They were mostly based on an incorrect notion of Necessitation
Make the numbering of axioms, definitions and lemmas agree between abstract and natural deduction formalization