@misc{indiciaed33c59d8b92f, title = {Beyond Goedel : Simply consistent constructive systems of first order Peano's Arithmetic that do not yield undecidable propositions by Goedel's reasoning}, author = {Bhupinder Singh Anand}, year = {2002}, url = {https://arxiv.org/abs/math/0201059}, note = {Source identifier: math/0201059} }