Animal including salt water, hydrothermal vents, fresh water, hot springs, swamps, forests, pastures, deserts, air, and the interiors of animals, plants, fungi and rocks. Animals are however not particularly heat tolerant; very few of them can survive at constant temperatures above . Only very few species of animals (mostly nematodes) inhabit the most extreme cold deserts of continental Antarctica. The blue whale ("Balaenoptera musculus") is the largest animal that has ever lived, weighing up to 190 metric tonnes and measuring up to long. The largest extant terrestrial animal is the African bush elephant ("Loxodonta africana"), weighing up to 12.25 tonnes and
Inhabited set would either prove that 0 is in "X" or that 1 is in "X". Thus a constructive proof that "X" is inhabited would determine the truth value of the Riemann hypothesis, which is not known, By replacing the Riemann hypothesis in this example by a generic proposition, one can construct a Kripke model with a set that is neither empty nor inhabited (even if the Riemann hypothesis itself is ever proved or refuted). Inhabited set In constructive mathematics, a set "A" is inhabited if there exists an element formula_1. In classical mathematics, this is the same as the set being