
Standard Model
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold).

Our universe may be full of microscopic black holes, and this idea is gaining prominence as a compelling explanation for the origin of dark matter. “The idea is very simple” says CERN researcher Dr. Franciolini. And it requires "nothing beyond the standard model," in contrast to many other theories.