incompleteness theorem

MIDDLE FIELD