Существует такая гипотеза: теоремы вовсе не рвутся стать аксиомами. Потому что с теоремами все носятся, доказывают, а аксиомы - уже полузабытые памятники.