Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Éruption volcaniquethumb|Image satellite du panache volcanique coiffé d'un pileus et de nuées ardentes du Sarytchev en Russie au cours d'une éruption plinienne. Une éruption volcanique est un phénomène géologique caractérisé par l'émission, par un volcan, de laves ou de téphras accompagnés de gaz volcaniques. Lorsqu'une éruption volcanique provoque des dégâts matériels et des morts parmi l'espèce humaine mais aussi chez d'autres espèces animales ou végétales ce qui est la majorité des cas pour les volcans terrestres, ce phénomène constitue, à courte ou moyenne échéance, une catastrophe naturelle ayant un impact local ou mondial et pouvant bouleverser les habitudes animales, humaines, la topographie, etc.
Théorie axiomatiqueQuand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc. La théorie de la calculabilité en est un exemple. Par théorie axiomatique, on fait référence à quelque chose de plus précis, des axiomes et leurs conséquences, les théorèmes, énoncés dans un langage précis. Dans la suite on dira le plus souvent théorie pour théorie axiomatique, ce qui est d'usage courant en logique mathématique.
Nuée ardentethumb|Nuées ardentes dévalant les flancs du Mayon aux Philippines en 1984. La nuée ardente au centre de l'image n'est composée que d'une coulée pyroclastique, contrairement à celles situées à droite, d'où s'élèvent des nuages pyroclastiques qui fusionnent avec le panache volcanique émis depuis le sommet du volcan. Une pluie de cendres obscurcit le ciel sous le panache dans la gauche de l'image. Une nuée ardente, ou nuage pyroclastique, est un aérosol volcanique porté à haute température et composé de gaz, de cendres et de blocs de taille variable dévalant les pentes d'un volcan.
Axiomes de Peanovignette|Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique.
Éruption explosivethumb|Panache volcanique coiffé d'un pileus s'élevant au-dessus du Sarychev dans les îles Kouriles au cours d'une éruption explosive de type plinienne. Une éruption explosive est une éruption volcanique caractérisée par l'émission de laves fragmentées dans l'atmosphère, à la différence des éruptions effusives qui émettent principalement des laves fluides sous la forme de coulées. Les éruptions explosives se produisent généralement sur les volcans gris, notamment ceux de la ceinture de feu du Pacifique, mais les volcans rouges peuvent connaître des phases explosives.
