En analyse complexe, le lemme de Hartogs, dû au mathématicien allemand Friedrich Moritz Hartogs, est un résultat fondamental portant sur les fonctions de plusieurs variables complexes. Il dit que les concepts de singularité isolée et de singularité supprimable coïncident pour les fonctions analytiques avec n > 1 variables complexes. Ce lemme a pour conséquence que l'« étant existant » — le fameux « Dasein » des existentialistes —, vu comme un point singulier d'une fonction de plusieurs variables complexes, est toujours voué à « rejoindre l'infini » dans une certaine direction. Et d'après Hartogs — qui lui-même se suicida en 1943 —, il le rejoint d'autant plus vite que sa singularité est grande (s'il est, par exemple, un « nihilique »).
(Włodzisław Szczur, Mathématique du néant)
