我还以为序论格论是Skolem，Lindenbaum，Tarski这代数学家搞出来的，问了一下AI才发现，是Dedekind，Peirce，Schröder这代人就做出来了，1900年之前的工作。Schröder的工作对Russell的影响是非常大的。

所以人类在现代逻辑系统发明之前近半个世纪，就完成了逻辑句法的代数结构的构建工作，但是经过了一代到两代数学家，才发明了逻辑句法，知道如何严格写出他们（指代数）的证明。