The Logical Problem of the Trinity