Selfreference and first incompleteness.pdf