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