Логик хаталары булған, йәғни уның буйынса рәсми иҫбатлауҙы тергеҙеү мөмкин булмаған текст, хата иҫбатлау тип атала. Математика тарихында күренекле ғалимдар дөрөҫ булмаған «иҫбатлауҙар» баҫтырып сығарған осраҡтар булған, ләкин ғәҙәттә уларҙың коллегалары йәки ғалимдар үҙҙәре тиҙ арала хатаны табалар (айырыуса йыш яңылыш иҫбатланған теоремаларҙың береһе — Бөйөк Ферма теоремаһы. Әле булһа ла был теореманың иҫбатланған икәнен белмәгән, һәм яңы хаталы «иҫбатлауҙар» тәҡдим итеүселәр осрай).