The Work A generalization of the incompleteness theorem The details The Author Andrzej Mostowski The offers
