Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.

翻译：逻辑本质上就是代数，只要使用正确的代数类型和正确的逻辑类型。正确的代数类型是抽象代数，正确的逻辑类型是抽象逻辑。