Bases Bourbaki S1. Si A est une relation, la relation (A ou A) implique A est un axiome. S2. Si A et B sont des relations, la relation A implique (A ou B) est un axiome. S3. Si A et B sont des relatiosn, la relation (A ou B) implique (B ou A) est un axiome. S4. Si A, B et C sont des relations, la relation (A implique B) implique ((C ou A) implique (C ou B)) est un axiome. S5. Si R est une relation, T un terme et x une lettre, la relation (T|x)R implique (Il existe x)tel que R est un axiome. S6. Soient x une lettre, T et U des termes et R}x} une relation, la relation (T = U) implique (R}t} implique et réciproquemen R}u}) est un axiome. S7. Soient R et S des relations et x une lettre, le relation ((Pour x)(R implique et réciproquemnet S)) implique (taux(R) = taux(S)) est un axiome. S8. Soient R une relatio, x et y des lettres distinctes, X et Y des lettres disstinctes de x et y et ne figurant pas dans R ; la relation ... est un axiome. A1. Pour tout x pour tout y tel que x contenu dans y et y contenu dans x implique x = y. A2. Pour tout x pour tout y, Collz (z = x) ou z = y) A3. Pour tout x pour tout x' pour y pour tout y' (((x,y) = (x',y') implique x = x' et y = y')). A4. Pour tout X CollY (Y contenu dans X) A5. IL existe un ensemble infini.