Аксіома приєднання— аксіома в теорії множин. Введена Паулем Бернайсом в 1929.

Стверджує, що для двох множин x, y існує множина w = x ∪ {y} утворена "приєднанням" множини y елементом до множини x.

: 

Це слабка аксіома, що використовується в деяких слабких системах, як загальна теорія множин (GST).
Операція приєднання також використовується як одна з операцій примітивної рекурсії над множинами.

Тарський і Смілев показали, що  може інтерпретуватись в слабкій теорії множин з аксіомами:
* аксіома об'ємності
* аксіома порожньої множини
* аксіома приєднання.

Хоча, насправді, аксіома об'ємності не є потрібною.

Джерела
* 

П
