Beyond first order logic: From number of structures to structure of numbers