واداشتforcingواژههای مصوب فرهنگستاندر نظریة مجموعهها، روشی که با استفاده از آن حکمهایی دربارة سازگاری (consistency) و استقلال (independence) اثبات میشود متـ . تحمیل