数学の公理って阿頼耶識で言う種子で、定理ってのは阿頼耶識で言う種子生現行だね。演習とは公理系に従って演算する正聞薫習だよね。公理っつー種子を阿頼耶識に植えて正聞薫習することでそれが耕されて、結果的にその種子から定理が生まれるわけだ。まぁそ…