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.
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.