اسم (noun)
📌 قانونی در نظریه مجموعهها که بیان میکند اگر یک مجموعه زیرمجموعهای از مجموعه تمام اعداد صحیح مثبت باشد و شامل ۱ باشد، و اگر به ازای هر عدد در مجموعه داده شده، عدد طبیعی بعدی در مجموعه باشد، آنگاه مجموعه داده شده با مجموعه تمام اعداد صحیح مثبت یکسان است.