Definitions Found:

contradiction between two statements, both apparently obtained by correct reasoning