2023/08/14 by Al-Johar, Zuhair A.
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2308.10904
This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it.