Elle comprend en particulier une version du schéma d'axiomes de compréhension restreinte aux ensembles d'entiers naturels, qui est exprimable grâce à ces nouvelles quantifications.
Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
La recherche consiste à partir de ces axiomes pour trouver une interprétation qui permette de déduire logiquement les résultats qui correspondent à l'expérience.