Feferman's proposal results in a radical restriction of logical terms as compared to Tarski's original proposal.
Το αποτέλεσμα της πρότασης Feferman οδηγεί σε έναν ριζικό περιορισμό λογικών όρων, σε σύγκριση με την αρχική πρόταση του Τάρσκι.