The first of these, called the theory of true arithmetic, cannot be written as the set of logical consequences of any enumerable set of axioms.
Η πρώτη από αυτές, που καλείται η θεωρία της αληθινής αριθμητικής, δεν μπορεί να γραφτεί ως ένα σύνολο από λογικές συνέπειες από κάποιο απαριθμήσιμο σύνολο από αξιώματα.