Vladimir_Nesov comments on Godel’s Completeness and Incompleteness Theorems

[Vladimir_Nesov]

However, it’s a useful skill.