Game Semantics of Martin-Löf Type Theory, Part III: Its Consistency With Church's Thesis