a corollary (1904) to the Monroe Doctrine, asserting that the U.S. might intervene in the affairs of an American republic threatened with seizure or intervention by a European country.
the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.
