In mathematical logic, an elementary theory is a theory that involves axioms using only finitary first-order logic, without reference to set theory or using any axioms that have consistency strength equal to set theory.
Saying that a theory is elementary is a weaker condition than saying it is algebraic.
Examples
editThis section needs expansion. You can help by adding to it. (January 2021) |
Examples of elementary theories include:
- The theory of groups
- The theory of finite groups
- The theory of abelian groups
- The theory of fields
- The theory of finite fields
- The theory of real closed fields
- Axiomization of Euclidean geometry
Related
editReferences
edit🔥 Top keywords: Akademia e Shkencave e RPS te ShqiperiseAlexandria Ocasio-CortezBilderberg GroupCristiano RonaldoDong XiaowanMinecraftOperation GladioPrimal cutRiot FestStrictly Come Dancing (series 7)Main PageSpecial:SearchWikipedia:Featured picturesKalki 2898 ADUEFA Euro 2024Project 2025Simone Biles.xxx2024 French legislative electionHouse of the DragonDiogo CostaCristiano RonaldoForbidden Door (2024)A Quiet Place: Day OneJan OblakCleopatra2025 ICC Champions TrophyDeaths in 20242024 Copa AméricaPepe (footballer, born 1983)UEFA European ChampionshipCabinet of South AfricaCanada DayNico WilliamsICC Champions TrophyMarine Le PenRoberto MartÃnezSunisa LeeEmma RaducanuInside Out 2Paul GeorgeThe Bear (TV series)Jude BellinghamNational RallyJoe BidenJordan BardellaMichael J. FoxOpinion polling for the 2024 United Kingdom general electionZac Efron