We prove a $p$-adic version of the integral geometry formula for averaging the intersection of two $p$-adic projective varieties. We apply this result to give bounds on the number of points in the modulo $p^m$ reduction of a projective variety (reproving a result by Oesterlé) and to the study of random $p$-adic polynomial systems of equations.
