Դրույթ, որի ճշմարտացիությունը հավաստվում է մաթեմատիկական ապացուցման օգնությամբ:Նման դրույթները օգտագործվում են մաթեմատիկական թեորեմների ապացույցի համար: