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.