AXIOM
All Xeno Intelligence Operations Monitors
Secret research and intelligence service Created by President Eisenhower, John Foster Dulles and a group of Military and Intel Community specialists.
Eisenhower forms this group after an alien / Exo terrestrial spacecraft is shot down over New Mexico and non-human sentient lifeforms are recovered.
Dr. Smith (an Alien working for the US Department of Defense for many years) warns about the growing influence of Aliens. The US Government is worried that Alien tech could end up in Soviet or Chinese hands. Furthermore, Dr. Smith warned of possible hostile actions by alien forces.
AXIOM was created as a top-secret organization, became later a part of Homeland security and was led by Dr. Smith as its director until 2030 CE. Then Cherubim becomes its director.
AXIOM becomes a public organization after the Ascent and changes its name to TSI under the Lead of Cherubim.
AXIOM is famous for some of its members and agents: Dr. Isah, Phil Decker, John Mc Enroe, John McBride, Dark Cloud, Peter Baker, Wulf Starr
(see also Eisenhower and the Alien )
(definition)
An axiom, or postulate, is a premise or starting point of reasoning. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy. The word comes from the Greek ἀξίωμα 'that which is thought worthy or fit,' or 'that which commends itself as evident.' As used in modern logic, an axiom is simply a premise or starting point for reasoning. Axioms define and delimit the realm of analysis; the relative truth of an axiom is taken for granted within the particular domain of analysis, and serves as a starting point for deducing and inferring other relative truths. No explicit view regarding the absolute truth of axioms is ever taken in the context of modern mathematics, as such a thing is considered to be an irrelevant and impossible contradiction in terms.
In mathematics, the term axiom is used in two related but distinguishable senses: "logical axioms" and "non-logical axioms". Logical axioms are usually statements that are taken to be true within the system of logic they define (e.g., (A and B) implies A), while non-logical axioms (e.g., a + b = b + a) are actually defining properties for the domain of a specific mathematical theory (such as arithmetic). When used in the latter sense, "axiom," "postulate", and "assumption" may be used interchangeably. In general, a non-logical axiom is not a self-evident truth, but rather a formal logical expression used in deduction to build a mathematical theory. As modern mathematics admits multiple, equally "true" systems of logic, precisely the same thing must be said for logical axioms - they both define and are specific to the particular system of logic that is being invoked. To axiomatize a system of knowledge is to show that its claims can be derived from a small, well-understood set of sentences (the axioms). There are typically multiple ways to axiomatize a given mathematical domain.
In both senses, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. Within the system they define, axioms (unless redundant) cannot be derived by principles of deduction, nor are they demonstrable by mathematical proofs, simply because they are starting points; there is nothing else from which they logically follow otherwise they would be classified as theorems. However, an axiom in one system may be a theorem in another, and vice versa.