It is possible, however, that there is a shorter proof of a theorem from ZFC than from ZF.
Είναι δυνατόν, ωστόσο, ότι υπάρχει μια μικρότερη απόδειξη θεωρήματος στο ZFC από ό, τι στο ZF.