bestode , innehölle blott dels i lagform redigerade axiom , dels ock redanbefintliga