This study produces metatheories, which are mathematical theories about other mathematical theories.
Detta studium resulterar i metateorier, som i detta sammanhang innebär matematiska teorier om andra matematiska teorier.