Аксіома приєднання— аксіома в теорії множин. Введена в 1929.
Стверджує, що для двох множин x, y існує множина w = x ∪ {y} утворена "приєднанням" множини y елементом до множини x.
Це слабка аксіома, що використовується в деяких слабких системах, як загальна теорія множин (GST). Операція приєднання також використовується як одна з операцій примітивної рекурсії над множинами.
Тарський і Шмелев показали, що може інтерпретуватись в слабкій теорії множин з аксіомами: аксіома об'ємності аксіома порожньої множини аксіома приєднання.
Хоча, насправді, аксіома об'ємності не є потрібною.
Джерела