Proofs - 証明 - XKCD日本語訳

当カテゴリでは、世界で最も人気があるWebコミック「xkcd」の最新コミックをひたすら日本語に翻訳していきます。
2015年の翻訳記事はxkcd（2015年）、2014年の翻訳記事はxkcd（2014年）、2013年の翻訳記事はxkcd（2013年）から。更に過去の翻訳記事はxkcdからどうぞ。
翻訳済みの秀逸なコミックについては、過去のベスト10をまとめた記事（2009年～2010年、2011年、2012年、2013年、2014年、2015年）よりどうぞ。
なお、コミック内の英文が難解な場合は、クオリティの低い訳文をとりあえずUPすることもありますが、自ら気づいたり、皆様からの指摘があれば、正しい訳文にその都度直していきますので、誤訳がありましたら、コメントなどで気軽にご指摘下さい。

©xkcd.com Creative Commons Attribution-NonCommercial 2.5 License

Proofs（証明）

Miss Lenhart: ... Let's assume there exists some function F(a,b,c...) which produces the correct answer-
レーンハルト： ... 正解を導き出す、いくつかの関数F(a,b,c...)が存在すると仮定しましょう...
男（欄外）: Hang on.
　（待ってください。）
男: This is going to be one of those weird, dark magic proofs, isn't it? I can tell.
　（これは、奇妙な、黒魔術の証明の1つになりますよね？分かってます。）
レーンハルト: What? No, no, it's a perfectly sensible chain of reasoning.
　（何？いやいや、それは論理的思考の完全なる道理にかなった連鎖です。）
男 (欄外): All right...
　（わかりました...）

レーンハルト: Now, let's assume that the correct answer will eventually be written on the board at the coordinates (x, y). If we--
　（そして最終的に、正解がボード上の座標（x、y）に書かれると仮定しましょう。もし...）
男 (欄外): I knew it!
　（そうなると思った！）

Alt-text: Next, let's assume the decision of whether to take the Axiom of Choice is made by a deterministic process ...
　（次に、選択公理を取るかどうかの決定が決定論的なプロセスにより作られるかを仮定しましょう...）