alapfogalom

Alapfogalom is a term used in mathematics, logic, and philosophy to denote a primitive or fundamental concept that is accepted without definition within a given theoretical framework. It represents a building block from which other notions are defined or derived.

In formal systems, alapfogalmak are paired with axioms. They are not defined in terms of other concepts within that theory; instead, their properties and relationships are specified by the axioms. From these primitive notions and axioms, theorems and more complex definitions are developed. The choice of primitive notions depends on the axiomatization of the field and can vary between approaches.

Common examples illustrate the idea. In Euclidean geometry, many presentations treat entities such as a point and a line as alapfogalmak, with other geometric notions defined in terms of them. In set theory, ideas like set and the membership relation (belonging to) are often taken as primitive notions, with all other concepts built up through axioms about sets and their elements. Different foundational theories may select different sets of primitive notions, but within one theory, the primitive terms remain undefinable in that theory’s language.

Understanding alapfogalom helps clarify the structure of a theory: it designates what is taken as given, while all other terms are defined or explained relative to these primitives. The concept is widely used in education and research to describe foundational building blocks of formal systems and philosophical analyses.