@rapinyaire Primer com que entro en quinze dies, LOL.

Ah no ja està

@jrosell Només hi estic en mode lectura. Vaig intentar postejar alguna cosa però no vaig tenir gaire/tirant a gents d'ENGAGEMENT. O sigui que no et puc aconsellar massa res.

@tanguesvoladors No n'he vist de tant estriats.

330.2.
*) Extensionalitat (v. 57).
*) Emparellament (v. 64).
*) Unió (v. 72).
*) Infinit (v. 81).
*) Especificació (v. 112).
*) Regularitat (v. 125).
*) Reemplaçament (v. 138).
*) Potència (v. 159).
*) Elecció (v. 316).

330.1. I amb això acabem l'exposició de la teoria de conjunts ZFC, que és en el que es fonamenten les matemàtiques «estàndard»: quan no ens trobem explorant els fonaments mateixos de les matemàtiques o se'ns indica el contrari explícitament, els teoremes que trobem en qualsevol text matemàtic són (es pretén que siguin, si més no) en darrer terme conseqüències lògiques estrictes dels nou axiomes de teoria de conjunts que hem explicat:

329. Empalmant aquesta equivalència amb el que hem demostrat abans sobre que ℕ és més petit o igual que qualsevol conjunt Dedekind-infinit tindríem que també ho és que qualsevol conjunt infinit «a seques».

328. Havíem comentat en el seu moment que no es pren la de Dedekind com a definició estàndard del concepte d'infinit perquè fer-ho ens obligaria a fer servir massa aquest axioma i això no ens interessa.