Pratt gives a very good answer with a historical overview of the main characters and their theorems on incompleteness: https://lists.ugent.be/wws/arc/fom/2023-1

Pratt gives a very good answer with a historical overview of the main characters and their theorems on incompleteness: https://lists.ugent.be/wws/arc/fom/2023-10/msg00007.html https://lists.ugent.be/wws/arc/fom/2023-10/msg00007.html