# Talk:Set of Gödel Numbers of Arithmetic Theorems Not Definable in Arithmetic

I think you hit the nail on the head! The original definition from the source material is (paraphrasing): "If $T$ is a consistent theory in the language of arithmetic, we say a set $S$ is defined in $T$ by $D(x)$ if for all $n$, $n \in S$ if and only if $D(n)$ is a theorem of $T$. $S$ is definable in $T$ if $S$ is defined in $T$ by some such formula $D(x)$." I'd never heard of a notion of definability which is based on provability before checking the source material for this page. Apparently, neither had Burak, hence his (valid) criticisms on the page. I didn't see any such notion when I looked on Wikipedia, either. Going to take a shot at refactoring the Gödel's First Incompleteness Theorem proof so that this page is either unnecessary, or minimally is updated to use modern mathematical language. Also hoping to fill in some of the red links in the proof along the way. JamesMazur2 (talk) 16:34, 9 July 2017 (EDT)