Intuitionism holds that mathematics originated from intuition.
Logicalism holds that mathematics originates from logic. ?
Formalism holds that both are equally important.
Relationship between logic and mathematics
Logic is a learning material for exploring, expounding and establishing effective reasoning principles. It was first founded by Aristotle, an ancient Greek scholar. Mathematical logic is a learning material to study the formal structure and laws of reasoning by mathematical methods, that is, by establishing a set of symbolic systems.
Including logical calculus, set theory, proof theory, model theory, recursion theory and so on. Because symbols are used in logic, mathematical logic is also called symbolic logic. The main problem of mathematical logic research is reasoning. The so-called reasoning refers to the study of the relationship between premise and conclusion and the law of thinking. The characteristics of mathematical logic are simple and clear narration, popular and smooth. Strong logic.