incompleteness theorem

SPITFIRE