In this system, they were eventually able to build up much of modern mathematics but in an altered, and excessively complex form (for example, there were different natural numbers in each type, and there were infinitely many types).
Αυτοί ήταν τελικά σε θέση να δημιουργήσουν ένα μεγάλο μέρος των σύγχρονων μαθηματικών αλλά σε μια αλλοιωμένη και υπερβολικά σύνθετη μορφή (για παράδειγμα υπήρχαν διαφορετικοί φυσικοί αριθμοί σε κάθε τύπο αλλά και απείρως πολλοί τύποι).