Are Random Axioms Useful ? — CCC Version —