A paradox is a sentence in logic that cannot be true but also cannot be false. It is self-contradictory. Many famous problems of this kind exist.