विरोधाभास कहता है कि यदि तर्क का हेरफेर है तर्कसंगत नियमों के अनुसार सार्थक प्रतीक; याद रखें, कि हम प्रतीकों में हेरफेर करने के बारे में बात कर रहे हैं, कहते हैं कि इन विचारों में हेरफेर करने के अच्छी तरह से परिभाषित तरीके हैं।