Eksistensbevis
Test deg selv
Hvilke av disse gir et eksistensbevis for påstanden «Det finnes en mengde $A$ slik at $A\ \cap \{2,3,4\} = \{2,3\}$?
Å si at det er trivielt at noe er sant er ikke noe bevis for at noe er sant.
Ja, det finnes uendelig mange slike mengder, men dette er ikke et eksistensbevis for vi har ikke funnet et objekt som gjør påstanden sann.