{finitary proof} [ریاضی] برهانی که در آن هیچ مجموعۀ نامتناهی، چه به طور صریح و چه به طور ضمنی، به کار نرفته باشد
