De fato, basta notar que, como já demonstrado, a reta de Sorgenfrey é separável, mas não satisfaz o segundo axioma de enumerabilidade. Logo não pode ser metrizável.