Eventually Emil Post (1921) would lay waste to Russell's "cumbersome" Theory of Types with his "truth functions" and their truth tables.
Τελικά ο Emil Post (1921) θα έβαζε τέλος στην προβληματική θεωρία τύπων του Ράσελ με τις «συναρτήσεις αλήθειας» και τους αντίστοιχους πίνακες αληθείας.