allmänna abjtrafta formella teorier.