@misc{indiciae2bb57b03d771,
  title = {A proof of Gödel's incompleteness theorems using Chaitin's incompleteness theorem},
  author = {David O. Zisselman},
  year = {2023},
  url = {https://arxiv.org/abs/2302.08619},
  note = {Source identifier: 2302.08619}
}