@misc{indiciaedb6e3fb4a8f4,
  title = {Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem},
  author = {Bhupinder Singh Anand},
  year = {2003},
  url = {https://arxiv.org/abs/math/0206302},
  note = {Source identifier: math/0206302}
}