Existență și adevăr în matematică