Countable & Uncountable Theory