Eksistensbevis, inden for matematikken bevis for en påstand, som hævder eksistensen af et eller flere objekter; fx er beviset for, at der findes uendelig mange primtal, et eksistensbevis.
Mange eksistensbeviser består i at konstruere en metode til at finde det eller de objekter, som hævdes at eksistere.
Eksistensbeviser kan imidlertid også være negative i den forstand, at de blot viser, at eksistensantagelsen fører til en selvmodsigelse; fx er beviset for, at der ikke findes et rationelt tal, som er lig , et negativt eksistensbevis.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.