Stærðfræðileg sönnun

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.

Stærðfræðileg sönnun úr rúmfræði Evklíðs.
  Þessi stærðfræðigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.