اصول موضوع جایگزینی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
ایجاد شده توسط ترجمهٔ صفحهٔ «Axiom schema of replacement» برچسبها: عدم استفاده از یادکرد و پانویس ترجمهٔ محتوا ترجمه محتوا ۲ |
بدون خلاصۀ ویرایش |
||
خط ۲۰:
\forall A \, ( [ \forall x \in A &\, \exists ! y \, \phi(x, y, A) ]\ \Longrightarrow\ \exists B \, \forall y \, [y \in B \Leftrightarrow \exists x \in A \, \phi(x, y, A) ] )
\end{align}</math>
== منابع ==
* مشارکتکنندگان ویکیپدیا، «[[:en:Axiom_schema_of_replacement|Axiom schema of replacement]]»، ''[[ویکیپدیای انگلیسی]]''.
| |||