https://9dok.net/document/yev17xg0-einige-gedanken-zur-mathematischen-syntax.html