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

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

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

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

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

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

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

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