Tautológia
A Wikipédiából, a szabad lexikonból.
A logikában a tautológia egy olyan állítás, amely a saját értelménél fogva igaz. Ez azt jelenti, hogy kizárólag a fogalmak definícióját/az axiómákat véve alapul levezethető az igazságuk. Lazábban értelmezve sokszor mondják más analitikus jellegű állításokról, hogy értelmetlen tautológiák. Ez a szóhasználat azonban pongyola. Hiszen a tautológia az analitikus állításokhoz hasonló, de annál szűkebb osztály. A matematika és logika minden igaz állítása tautológia.