パラドックス
日本語では逆説、逆理、背理と訳される。語源はギリシャ語（παράδοξον < παρα-, para-:反対の + δόξα, dóxa: 意見）。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。
自己言及のパラドックス
集合論における典型的なパラドックスは次のようなものである。これは特に、バートランド・ラッセルが議論の対象としたことで知られる（ラッセルは述語論理における同様のパラドックスについても議論している）。