Main
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry

## You may be interested in Powered by Rec2Me

## Most frequently terms

definable

^{271}mathematical

^{193}theorem

^{186}domain

^{183}formula

^{177}rational

^{170}infinite

^{168}finite

^{146}mathematics

^{134}formulas

^{114}ordering

^{109}properties

^{102}multiplication

^{100}pairs

^{98}rational numbers

^{95}symmetry

^{95}define

^{93}symbols

^{85}integers

^{82}minimal

^{82}elementary

^{80}axiom

^{77}springer

^{72}subset

^{69}axioms

^{69}variables

^{62}symmetries

^{59}geometry

^{58}theoretic

^{57}dedekind

^{57}graph

^{56}defines

^{56}decimal

^{54}vertices

^{54}subsets

^{53}equation

^{53}arithmetic

^{52}philosophy

^{51}sequence

^{51}fractions

^{49}mathematical logic

^{48}parameters

^{47}cartesian

^{47}integer

^{45}statements

^{45}ordered pairs

^{45}infinitely many

^{45}definitions

^{45}geometric

^{44}quantifiers

^{44}defining

^{43}definable sets

^{43}sentences

^{42}vertex

^{42}notation

^{39}graphs

^{39}equivalence

^{39}domains

^{38}infinity

^{36}