Существует ли хаусдорфово компактное сепарабельное топологическое пространство, не удовлетворяющее первой аксиоме счетности?
Первое, что приходит в мою испорченную голову, — это пространство 

, являющееся компактификацией по Стоуну — Чеху дискретного топологического пространства 

. Оно же — стоуновский компакт булевой алгебры 

. Пространство 

 хаусдорфово и компактно, сепарабельно (

 всюду плотно в 

), но никакая точка из 

 не имеет счетной базы окрестностей.
Соответствующие сведения можно почерпнуть из «Общей топологии» Р.Энгелькинга (параграф 3.6) или из «Основ общей топологии в задачах и упражнениях» А.В.Архангельского и В.И.Пономарева (глава IV, параграфы 1 и 2).
Может, есть примеры попроще, но, как грится, чем богаты...