existentiebewering- uitspraak over ten minste één wiskundig object
Aussage über mindestens ein mathematisches Objekt
