اصلموضوع بینهایتaxiom of infinityواژههای مصوب فرهنگستاناصلموضوعی در نظریة مجموعهها حاکی از اینکه مجموعهای شامل و تالی O هر یک از اعضای آن مجموعه وجود دارد