Аксіоматизація В 1933 американський математик Едвард Хантінгтон запропонував наступну аксіоматизацію для булевих алгебр: комутативність: асоціативність: аксіома Хантінгтона: Герберт Робінс задав питання: чи можна скоротити третю аксіому так, як подано нижче аксіома Робінса: Приклади