Evgeny Musicantov Introduction We discuss classical invariants of topological spaces: Homology groups, Fundamental group, Betti numbers. We show that the existence of analogous invariants for varieties over finite fields allows us to prove the Weil conjectures.