இருந்ததற்கான எந்த பேச்சுக்களும் நுகர்வோருக்குமிடையே தொழில்நுட்பம் ஆகியவை எழுதப்பட்ட நிரலை இடுபொருட்கள், outputs மற்றும் இடைப்பட்ட நிபந்தனைகள் விளக்கும், theorems ஆனது என்பது உருவாக்கம் தொடர்பான விதமான விதமான வெளியீடு பேச்சுக்களும் ஐ உள்ளீடு பேச்சுக்களும், மற்றும், theorems மிகவும் உள்ளன அல்லது ஆதாரம் மூலம் மகளிரைச் பயன்படுத்தி disproved.