Իմաստ 1formal · 90%
Մաթեմատիկական կամ տրամաբանական պնդում, որն ապացուցվել է նախադրյալներից կամ նախորդ արդյունքներից։
Բնական օրինակներ
Die Studierenden bewiesen einen Lehrsatz aus der Zahlentheorie.
Ուսանողները ապացուցեցին թվերի տեսության մի թեորեմ։
Der Lehrsatz gilt nur unter den ausdrücklich genannten Voraussetzungen.
Թեորեմը գործում է միայն հստակ նշված նախադրյալների դեպքում։
Die Mathematikerin widerlegte nicht den Lehrsatz, sondern dessen fehlerhafte Anwendung.
Մաթեմատիկոսը հերքեց ոչ թե թեորեմը, այլ դրա սխալ կիրառումը։
Կիրառության նշում
Թեորեմը ապացուցվում է, իսկ աքսիոմը համակարգում որպես նախադրյալ է ընդունվում։