TY - JOUR AU - Goodstein, R. L. TI - Existence in mathematics JO - Compositio Mathematica PY - 1968 SP - 70 EP - 82 VL - 20 PB - Wolters-Noordhoff Publishing UR - http://archive.numdam.org/item/CM_1968__20__70_0/ LA - en ID - CM_1968__20__70_0 ER -