we can therefore say that integral geometry in this sense is the application of probability theory (as axiomatized by kolmogorov) in the context of the erlangen programme of klein. the content of the theory is effectively that of invariant (smooth) measures on (preferably compact) homogeneous spaces of lie groups; and the evaluation of integrals of the differential forms.