#for all badge #universal quantifier #every single badge #logic symbol badge #complete set symbolic #mathematical completion #all items badge