That is, that its content is based on some formal deductive system and that some of its elementary statements are taken as axioms.
Αυτό σημαίνει ότι το περιεχόμενό της βασίζεται σε κάποιο τυπικό επαγωγικό σύστημα και ότι μερικές από τις στοιχειώδεις της δηλώσεις παίρνονται ως αξιώματα.