1. It has the axioms of BL plus another axiom for cancellativity of conjunction, and its models are called product algebras.

इसमें BL के एक्सिओम्स के साथ-साथ कंजंक्शन के कैंसेलेटिविटी के लिए एक और एक्सिओम भी होता है और इसके मॉडल्स को प्रोडक्ट अल्जेब्रास कहा जाता है।

2. Until the 19th century, few doubted the truth of the postulate; instead debate centered over whether it was necessary as an axiom, or whether it was a theory that could be derived from the other axioms.

19वीं शताब्दी तक, कुछ लोगो को निर्विवाद तत्व की सच्चाई पर शक था, इसके बजाए बहस इस बात पर केंद्रित थी कि क्या यह एक सूक्ति की तरह आवश्यक है, या क्या यह एक सिद्धांत है जो अन्य सूक्तियो से प्राप्त किया जा सकता है।