நேரடி நிறுவலில், அடிக்கோள்கள், வரையறைகள், முன்பே நிறுவப்பட்ட தேற்றங்கள் என்பன தருக்க முறையில் ஒன்றிணைக்கப்படுகின்றன. எடுத்துக்காட்டாக, இரண்டு இரட்டை முழுஎண்களின் கூட்டுத்தொகை எப்பொழுதும் இரட்டை எண்ணே என நிறுவுவதற்கு நேரடி நிறுவல் முறையைப் பயன்படுத்தலாம்.

இந்த நிறுவல், இரட்டைப்படை முற்றெண்களின் வரையறையையும், கூட்டல், பெருக்கல் ஆகிய இருவினைகளின் முடிதல் சார்ந்த முற்றெண்களின் இயல்புகளையும் பகிர்மையையும் (distributivity) பயன்படுத்துகிறது.

வரலாறு
எதிர்மறுப்பு நிறுவல்
நேரடி நிறுவல்
எதிர்நிலைப்பாட்டு நிறுவல்