روش فرما
Sign in to saveروشی برای اثبات با تناقض که برای اثبات اینکه یک گزاره نمی تواند برای همه اعداد صادق باشد استفاده می شود. اگر گزاره ای برای عدد معینی صادق باشد، برای عدد کوچکتر تا بی نهایت نیز صادق خواهد بود که منجر به تناقض می شود و گزاره اصلی را رد می کند.