Stærðfræðileg sönnun

Úr Wikipediu, frjálsa alfræðiritinu

Stærðfræðilega sönnun er sönnun, með ákveðinni frumsendu, sem sýnir að ákveðin fullyrðing sé ávallt sönn.

  eiπ  

Þessi grein sem fjallar um stærðfræði er stubbur.
Þú getur hjálpað til með því að bæta við hana