Comment by ionfish

Coming from a set-theoretic perspective, I suppose I've got so used to Tarski's theorem that I consider it intuitive.

As far as Tychonoff's theorem goes, you might find this paper interesting:

http://matwbn.icm.edu.pl/ksiazki/fm/fm113/fm11313.pdf