The language of thought as a logically perfect language