اصلموضوع گسترشaxiom of extension, axiom of extensionalityواژههای مصوب فرهنگستاناصلموضوعی در نظریة مجموعهها حاکی از اینکه دو مجموعه برابرند اگر و تنها اگر دارای عضوهای یکسان باشند متـ . اصلموضوع هممصداقی
دستگاه اصل موضوعیaxiomatic system, system of axiomsواژههای مصوب فرهنگستاندستگاهی منطقی شامل تعدادی اصل موضوع که قضیهها با قواعد منطقی از آنها نتیجه میشود
اصلِموضوع انتخابaxiom of choiceواژههای مصوب فرهنگستاناصلموضوعی در نظریة مجموعهها مبنی بر اینکه هر گردایة ناتهی از مجموعهها دارای تابع انتخاب است
اصلموضوع بینهایتaxiom of infinityواژههای مصوب فرهنگستاناصلموضوعی در نظریة مجموعهها حاکی از اینکه مجموعهای شامل و تالی O هر یک از اعضای آن مجموعه وجود دارد
اصلموضوع تجریدaxiom of abstractionواژههای مصوب فرهنگستاناصلی که برپایة آن هر خاصیت مجموعهای را مشخص میکند که متشکل از همة اشیایی است که آن خاصیت را دارند