@misc{indiciae112e76f0d91f,
  title = {A note on the possibility of incomplete theory},
  author = {Han Geurdes and Koji Nagata and Tadao Nakamura and Ahmed Farouk},
  year = {2019},
  doi = {10.1134/s1990793121090050},
  url = {https://arxiv.org/abs/1704.00005},
  note = {Source identifier: 1704.00005}
}