Антино́мия – логическая установленность взаимоисключаемости двух фиксированных утверждений при равной возможности доказательства каждого.