ah, my favorite proof technique
@sainati Which book is this?
@robinadams Handbook of Mathematical Logic, specifically the section on the incompletness theorems
@sainati @robinadams more like incomplete theorems am I right