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