The completeness of logic with the added quantifier "there are uncountable many"