But type theory does not require a prior definition of the naturals.
Αλλά η θεωρία τύπων δεν απαιτεί τον προηγούμενο ορισμό των φυσικών αριθμών.