برهان متناهی‌مبنا

برهانی که در آن هیچ مجموعۀ نامتناهی، چه به‌طور صریح و چه به‌طور ضمنی، به کار نرفته باشد