The crossword solutions for the term 'If A = B and B = C, then A = C, e.g.' are 'AXIOM' and 'LOGIC'. An AXIOM is a statement or proposition that is regarded as being established, accepted, or self-evidently true. In mathematics, an AXIOM is a statement that is taken to be true, to serve as a starting point from which other statements are logically derived. LOGIC is the study of reasoning and argumentation. It is the systematic study of the form of valid inference and correct reasoning. LOGIC is used in most intellectual activities, including philosophy, science, mathematics, and law.