 As for set theory, the failure of categoricity was already taken note of by Skolem in 1923, because it follows from the Löwenheim-Skolem Theorem (which Skolem arrived at that year; see Skolem 1923, based on Löwenheim 1915 and Skolem 1920): any first order theory in a countable language that has a model has a countable model.