Rozmaitość (logika tradycyjna)