The requirement that "all programming languages must be translated into binary" is the most accurate statement. Ultimately, all programming languages need to be compiled or interpreted into machine code (binary) that the computer's processor can execute.
The other statements (compatibility with HTML, having a pseudocode base, being compatible with C++) are not universally true for all programming languages.