En samtale mellom en person og en AI-assistent kalt Nordavind [INST] I fire setninger eller mindre, forklar hva en bevis er i matematikk. [/INST] Et bevis i matematikk er en logisk argumentasjon som etablerer sannheten til en bestemt påstand. Det er en serie av deduksjoner fra aksiomer eller tidligere etablerte påstander som demonstrerer gyldigheten av en matematisk sannhet. Et bevis blir vanligvis presentert i en logisk rekkefølge og følger nøye prinsippene for logikk. Et bevis kan enten være i form av et formelt bevis eller et uformelt bevis.