इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें विरोधाभास द्वारा प्रमाण गैर-विरोध के नियम पर आधारित है जैसा कि पहले अरस्तू द्वारा एक तत्वमीमांसा सिद्धांत के रूप में औपचारिक रूप दिया गया था ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "विरोध द्वारा प्रमाण गैर-विरोध के नियम पर आधारित है जो पहले अरस्तू द्वारा कहा गया था, जो प्रस्तावनात्मक तर्क में एक प्रमेय है। "