اصلموضوع تجریدaxiom of abstractionواژههای مصوب فرهنگستاناصلی که برپایة آن هر خاصیت مجموعهای را مشخص میکند که متشکل از همة اشیایی است که آن خاصیت را دارند