Wiskundig bewijs

In de wiskunde bestaat een bewijs uit het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde bewering waar is.