This text offers a vivid modern development of classical and non-Euclidean geometries. Intended for a first course that is concerned with firm foundations, the book presents abstract systems in an accessible style by means of models that are carefully integrated with the theory, enabling the reader to picture the ideas more clearly.