In logic. A self-evident truth; an indisputable truth