为什么两点之间连线，两直线之交点可以有projection view/齐次方程那么优美的解法，而求过某点垂直于某面（空间）或求过某点垂直于某线(2维)，我暂时没有找到很优美的解法呢。因为太特殊了。两点直线这种，所有元素可以转化为“同质”的东西，所以出来的结果会很优美。而垂足，点-面，点-线，无法转化为同质。

拥有更抽象的概念推导会更方便

有些概念太刚性，太细节（1+2=3)，有些概念太弹性，太抽象(x=任意超越函数的解)，到底到什么层次，才能解出来"真正的解"，其实取决于人类的尺度？假设人类非常强,比如能立刻心算任意数列的敛散极限，那很多概念就不会存在。反过来，如果有低等生物连1+1=2都很难理解，它们会根据它们的尺度将这一真理进行拆解，解释

我幻想的无限嵌套结构在实数完备性，贝尔，勒贝格等上已经研究体现了。但并不意味着这种嵌套结构不值得继续研究