User blog comment:JHeroJr/Can Someone Tell Me How To Create An Uncomputable Function That Is Not Naive?/@comment-34422464-20190623235738/@comment-34422464-20190624125048

Yeah, it is pretty hard to get everything right. You might even need to make your own axiomatic set theory which opens an entirely new foundational can of worms.