தனித்துவமான கட்டமைப்புகள் தனித்துவமான கணிதத்தைப் போலவே உள்ளனவா?
தர்க்க சூத்திரங்கள் தனித்துவமான கட்டமைப்புகளாகும், அவை சான்றுகளைப் போலவே, வரையறுக்கப்பட்ட மரங்களை உருவாக்குகின்றன அல்லது, மிகவும் பொதுவாக, இயக்கப்படும் அசைக்ளிக் வரைபட கட்டமைப்புகள் (ஒவ்வொரு அனுமான படியும் ஒன்று அல்லது அதற்கு மேற்பட்ட முன்மாதிரி கிளைகளை ஒன்றிணைத்து ஒரு முடிவுக்குக் கொடுக்கிறது). தர்க்க சூத்திரங்களின் உண்மை மதிப்புகள் பொதுவாக ஒரு வரையறுக்கப்பட்ட தொகுப்பை உருவாக்குகின்றன, பொதுவாக இரண்டு மதிப்புகளுக்கு மட்டுப்படுத்தப்படுகின்றனஃ உண்மை மற்றும் தவறு, ஆனால் தர்க்கம் தொடர்ச்சியான மதிப்புடையதாகவும் இருக்கலாம், எ. கா., தெளிவற்ற தர்க்கம். எல்லையற்ற ஆதார மரங்கள் அல்லது எல்லையற்ற வழித்தோன்றல் மரங்கள் போன்ற கருத்துகளும் ஆய்வு செய்யப்பட்டுள்ளன, எ. கா. எண்ணற்றியல் தர்க்கம்.