X-Nico

unusual facts about incompleteness theorem