User talk:Wvbailey/Criticism of Godel's incompleteness theorems