En un topos más interesante, el axioma de elección puede no ser válido, o el principio del tercero excluido (cada proposición es verdadera o falsa) puede fallar.