கணித நிறுவல்: திருத்தங்களுக்கு இடையிலான வேறுபாடு

எதிர்மறுப்பு நிறுவல் முறையில், ஒரு கூற்று உண்மையானது என்பதை நிறுவ, அக்கூற்று உண்மையில்லை என எடுத்துக்கொண்டு, அதன் விளைவாக ஏற்கனவே நிறுவப்பட்ட வேறு கூற்றுகளில் ஏரண முரண்பாடு ஏற்படுவதைச் சுட்டிக்காட்டுவதன் மூலம் கூற்று உண்மையாகத்தான் இருக்க வேண்டும் என நிறுவப்படுகிறது. இது ''மறைமுக நிறுவல்'' அல்லது ''முரண்பாட்டு நிறுவல்'' எனவும் அழைக்கப்படுகிறது.எதிர்மறுப்பு நிறுவல் சார்ந்த மிகவும் புகழ்பெற்ற எடுத்துகாட்டு <math>\sqrt{2}</math> என்பது ஒரு பகா எண் என்பதாகும்: