finitary proof ( ریاضی )
واژه مصوب: برهان متناهی مبنا
تعریف: برهانی که در آن هیچ مجموعۀ نامتناهی، چه به طور صریح و چه به طور ضمنی، به کار نرفته باشد
واژه مصوب: برهان متناهی مبنا
تعریف: برهانی که در آن هیچ مجموعۀ نامتناهی، چه به طور صریح و چه به طور ضمنی، به کار نرفته باشد