Site uses cookies to provide basic functionality.

OK
Our propositions are true if they have the same structure as the world. Truth is a correspondence through structure.