¿Qué es una paradoja?

Una paradoja es una idea extraña opuesta a lo que se considera verdadero o a la opinión general. También se llama paradoja a algo que se contradice.
Existen diferentes clases de paradojas, dependiendo de su veracidad y las condiciones que las forman:

Paradojas verídicas: desafían al sentido común pero su veracidad es demostrable
Antinomias: son aquellas cuyo resultado se autocontradice. Muestran fallos en un  razonamiento, axioma  (una premisa que se considera evidente) o definición previamente aceptados
Antinomias de definición: Estas paradojas se basan en definiciones ambiguas, sin las cuales no alcanzan una contradicción. Este tipo de paradojas constituye un recurso literario,
Paradojas condicionales: únicamente son paradójicas si se hacen ciertas suposiciones. Algunas de ellas prueban que esas suposiciones son falsas o incompletas.