Aksjomat jednoznaczności