Математик текстарҙа «теоремалар» тип ғәҙәттә, математик мәсьәләләрҙе сығарғанда киң ҡулланылған, иҫбат ителгән раҫлауҙарҙы ғына атайҙар. Шуның менән бергә, талап ителгән иҫбатлау ғәҙәттә кемдер тарафынан табылған була (логика буйынса эштәр, нигеҙҙә, ҡағиҙәнән ситләшеү булып тора, логикала иҫбатлау төшөнсәһе үҙе өйрәнелә, шуға күрә ҡайһы бер осраҡта теорема тип хатта билдәһеҙ раҫлауҙарҙы ла атайҙар). Бик үк мөһим булмаған раҫлау-теоремаларҙы ғәҙәттә лемма, һөйләм, эҙемтә һәм башҡа шундай терминдар менән атайҙар. Теорема буламы икәнлеге билдәле булмаған раҫлауҙарҙы гипотеза (ғилми фараз) тип атайҙар.