コンパクトインデックスすべての馬は同じ色すべての馬は同じ色(すべてのうまはおなじいろ)とは、推論に誤りがあることから生じるパラドックスのひとつ。一見して数学的帰納法により証明されているように見えるが、決定的な誤りを含むために、明らかにおかしな主張が得られている。数学的帰納法を用いて命題を証明しようとする際に起こり得る微妙な誤謬の例として、ジョージ・ポーヤが用いた。双子のパラドックス双子のパラドックス(ふたごのパラドックス)とは、特殊相対性理論(1905年)による運動系の時間の遅れに関して提案されたパラドックスである。初めは、相対性理論に内部矛盾があるかどうかについて、アインシュタイン本人が時計のパラドックスとして出した問題であるが、1911年にポール・ランジュバンが双子をモデルしたパラドックスに仕立てたため、双子のパラドックスとして有名になった。