بیان حد با صورهای وجودی و عمومی، اثبات حد داشتن تابع توسط پارمترهای صور وجودی و صور عمومی و اپسیلون و دلتا