Wo àyọkà tó wà nísàlẹ̀ yìí, kó o sì dáhùn ìbéèrè tó wà lẹ́yìn náà ní èdè kan náà tí àyọkà náà wà:  Àkọlé: Ẹ̀kọ́ náà ní ọ̀nà tí ó wà báyìí ti bẹ̀rẹ̀ láti ìbẹ̀rẹ̀ àwọn ọdún 1980 àti àwùjọ ìwádìí kan tí Rudolf Wille, Bernhard Ganter àti Peter Burmeister darí ní Technische Universität Darmstadt. Àlàyé ìṣirò rẹ̀, sibẹsibẹ, ti jẹ́ èyí tí Garrett Birkhoff ṣe ní àwọn ọdún 1930 gẹ́gẹ́ bí apá kan ti ìmọ̀ ẹ̀kọ́ lattice. Àwọn àbá mìíràn tó ti wà tẹ́lẹ̀ nípa èròǹgbà kan náà náà ti wá látọ̀dọ̀ àwọn àwùjọ ìwádìí oríṣiríṣi ní ilẹ̀ Faransé, ṣùgbọ́n àwùjọ Darmstadt ṣe àtúnṣe sí ọ̀ràn náà, wọ́n sì ṣe àtúnṣe sí ẹ̀kọ́ ìṣirò àti àwọn ìpìlẹ̀ èròǹgbà rẹ̀. Àwọn tí ó kẹ́yìn yìí ń tọ́ka sí Charles S. Peirce, ṣùgbọ́n wọ́n tún tọ́ka sí Port-Royal Logic.  Ìbéèrè: Ta ló ṣe àlàyé tó ṣe kókó nípa èròǹgbà àgbáyé?
Garrett Birkhoff