User blog comment:Ubersketch/Uncomputable function/@comment-35470197-20190618223755/@comment-34422464-20190618225748

Seems I haven't cleared things up. True means that the statement is being assumed. And contradiction goes under "fails to produce a number." Also theres not just 1 variable and i think I should clear that up. All-knowing oracle is just a word I used for something that has everything that can be proved in a system.