Kleene and Rosser were able to show that both systems are able to characterize and enumerate their provably total, definable number-theoretic functions, which enabled them to construct a term that essentially replicates the Richard paradox in formal language.
Οι Kleene και Rosser ήταν σε θέση να δείξουν ότι και τα δύο συστήματα είναι σε θέση να χαρακτηρίσουν και να απαριθμήσουν τις προσδιορισμένες θεωρητικές αριθμητικές συναρτήσεις αποδεδειγμένων συνόλων. αυτό τους έδωσε τη δυνατότητα να κατασκευάσουν έναν όρο που ουσιαστικά αναπαράγει το Παράδοξο του Richard σε γλώσσα Τύπων.