Eliezer Yudkowsky comments on Edward Nelson claims proof of inconsistency in Peano Arithmetic