https://123dok.net/document/qo5on967-provability-and-the-continuum-hypothesis-a-letter.html