对一些复杂的证明过程，有没有“立体”点的方案？

如题，所说的复杂的证明过程，就是比如证明中有1234四个象限那样的各个小部分，然后每部分都各自引用了一些命题结论，这四个小部分是由1象限推出4象限，由2象限推出3象限，然后再由3、4合并在一起，推出最后的结论。具体的实例我暂时还没找到，就是有点像板书那种书写方式的。
以前这类方式的证明，我就用圈1圈2那种标号，然后到最后说根据圈1圈2推出结论。能不能也像前面所说的那种布局来做呢？