@misc{indiciae2160636ebce7,
  title = {The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction},
  author = {Takao Inoué},
  year = {2021},
  url = {https://arxiv.org/abs/2010.07368},
  note = {Source identifier: 2010.07368}
}