We prove two theorems concerning expressive power of relational and functional languages. The theorems have interesting consequences for the history of philosophy and logic.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.