It is "naïve" in that the language and notations are those of ordinary informal mathematics, and in that it doesn't deal with consistency or completeness of the axiom system.
Η «αφέλεια» βρίσκεται στο γεγονός ότι , η γλώσσα και οι συμβολισμοί είναι μέρος των συνηθισμένων άτυπων μαθηματικών, και από το ότι δεν ασχολείται με την συνέπεια ή την πληρότητα του συστήματος αξιωμάτων.