Uma antinomia (ou paradoxo) é a afirmação simultânea de duas proposições (teses, leis, etc.) contraditórias. As antinomias aparecem na matemática, principalmente nas áreas de lógica e teoria dos conjuntos. As antinomias tiveram um papel central nos trabalhos científicos na área de matemática do início do século XX, principalmente nas tentativas de Georg Cantor de definir a teoria dos conjuntos, no projeto de David Hilbert de formalizar a matemática e nos trabalhos de Kurt Gödel e Alan Turing sobre a incompletude dos sistemas formais.

• Paradoxo
• Matemática
• Lógica

Lógica matemática

Antinomie | Antinomy | Antinomia | אנטינומיה | Antinomia | Antinomie | Антиномия | Antinomi | Antinomi | Антиномія | 二律背反