パラドックス()とは、正しそうな前提と、妥当に思える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。パラドックスとは.数学以外の分野では「パラドックス」という言葉はよりラフに用いられ、「ジレンマ」、「矛盾」、「意図に反した結果」、「理論と現実のギャップ」等、文脈により様々な意味に用いられる。以下、辞書における定義を引用する:数学における概要.数学はその発展の中で、「正しそうに見える推論」の中から「本当に正しい推論」を選り分けてきた。こうしてまず最初に整数や幾何図形のような対象が数学で扱えるようになったが、その後集合や無限のような深遠な対象を取り扱ったり、自己言及のような複雑な推論を扱ったりするようになると、どれが「本当に正しい推論」でどれが「正しそうに見えるが実は間違っている推論」なのかが分からなくなってしまった。パラドックスはこのように、仮定、推論、定義等がよく理解されていない状況で発生してしまうものである。したがって、パラドックスは単なる矛盾とは区別される。例えば有名な「嘘つきパラドックス」は、「嘘つき」とは何かがはっきりしないからこそ「パラドックス」なのである。これらがはっきり定義された暁には、「嘘つきパラドックス」は単なる「背理法」や「間違った推論」に化ける。このようにパラドックスに適切な解釈を与えて「背理法」や「間違った推論」に変える事を、パラドックスを解消するという。数学は矛盾を含まないよう注意深く設計されており、パラドックスの起こる命題はうまく避けたり、あるいはパラドックスを解消した上で取り込んでしまったりしている。従って昔はパラドックスを内包してしまっていた集合や無限のような対象も現在では取り扱う事ができる。なお、上で説明したようなパラドックスと違い、ものも「パラドックス」と呼ばれる。これは擬似パラドックスと呼ばれ、前述した「真の」パラドックスとは別物である。一方、パラドックスの一覧.数学・記号論理学.「無限」.以上二つは(他にも数学や物理関係には同様のものが多いが)、無限というものが一見直感に反する、ということを述べているだけのことで、論理でいうところの矛盾ではない。濃度の記事などを参照。確率論関連.