Theories obtained this way include ZFC and Peano arithmetic.
Θεωρίες που αποκτήθηκαν με αυτόν τον τρόπο αποτελούν η ZFC και η αριθμητική του Πεάνο.