Voevodsky is not the only one who hopes for a proof of inconsistency (as mentioned in Dick Palais's answer): see Conway and Doyle's <a href="http://arxiv.org/PS_cache/math/pdf/0605/0605779v1.pdf">Division by Three</a>, bottom of page 34, where they express the same kind of skepticism as Nelson.