I think your point is true when it comes to teaching introductory probability or perhaps even a second and third course in probability. However, at some point, it becomes necessary to dive into things formally.

This blog entry is meant for a review for a graduate level course, so it makes sense that it runs through a lot of formal definitions.