GEB, стр. 49

**GEB, стр. 49**

"Изоморфизм": две структуры отображаются друг в друга так, что каждой части одной соответствует часть другой.

p → плюс
r → равняется
– → один
–– → два

Теоремы pr ↔ истинные утверждения о сложении.

🌀 Изоморфизм порождает смысл.