Goedel's, Turing's, and Church's models are actually all equivalent. Added third picture.