بنداشت جایگزینی
همچنین شناخته شده با: اصل جایگزینی
برابر انگلیک (انگلیسی): Axiom of Replacement


تاربرگ‌های پیموده‌شده در این نشست: همانگویی ⟩ خوشبختی ⟩ افشین پوریا ⟩ زبان‌های برنامه‌نویسی ⟩ واکاوی انگارشیک گویایی ⟩ تورالف اسکولم