Intereting Posts

Show that the cone of the open interval (0, 1) can not be embedded in any Euclidean space
Free groups and relations. Showing that $G\simeq FG^{(3)}/N$ for $N$ the normal subgroup generated by a set of relations.
A sufficient condition for differentiability of a function of several variables in terms of differentiability along paths.
Is there a non-trivial countably transitive linear order?
Why is $\phi:\mathbb{P}^n\rightarrow \mathbb{P}^m$ constant if dim $\phi(\mathbb{P}^n)<n$?
How to calculate the percentage of increase/decrease with negative numbers?
Is it possible to find radical solution of $\sin(5\beta)+\sin(\beta)=1$ and finding radical approximation of $\pi$
Why do I get an imaginary result for the cube root of a negative number?
Why is $L_A$ not $\mathbb K$ linear (I can prove that it is)
Why are modular lattices important?
Gaussian-like integral : $\int_0^{\infty} e^{-x^2} \cos( a x) \ \mathrm{d}x$
How do I solve this complex integration problem?.
Preparing for Mathematics Olympiad
Spivaks Chain Rule Proof (Image of proof provided)
Derived sets – prove $(A \cup B)' = A' \cup B'$

Using function symbols in first order logic forces us to define “terms” inductively, which makes many proofs longer and much more tedious. Of course, function symbols simplify matters when trying to use first order logic to describe things, but on the surface it seems to me they could be replaced completely by relations: Instead of $f$ use a relation $R_f$ such that instead of writing $\varphi(f(x))$ write ($\forall x\exists! y(R(x,y))\wedge R(x,y)\wedge\varphi(y)$. Now use $f(x)$ as a shorthand notation, so you can use it in “real life” but avoid it in proofs.

I guess I’m missing some deep neccecity here, but what?

(The same goes for constant symbols, but they don’t really complicate things as function symbols do).

- How to prove Lemma 2.12 of Mendelson without Deduction Theorem
- Open Sets of $\mathbb{R}^1$ and axiom of choice
- How to verify satisfialibility in a model? (Confusions with Gödel's Completeness Theorem)
- Prove that the union of countably many countable sets is countable.
- Meaning of variables and applications in lambda calculus
- Formal definition of equation and unknowns

- Example of non-isomorphic structures which are elementarily equivalent
- Associativity of logical connectives
- What is the exact definition of a reflexive relation?
- Help me put these enormous numbers in order: googol, googol-plex-bang, googol-stack and so on
- In Godel's first incompleteness theorem, what is the appropriate notion of interpretation function?
- categorical interpretation of quantification
- Is $\mathbb{N}$ impossible to pin down?
- Do we know if there exist true mathematical statements that can not be proven?
- Is ¬¬(¬¬P → P) provable in intuitionistic logic?
- Existence Proofs

You can always take a first-order theory with constants and function symbols and replace it with a theory using only relation symbols. This is at the expense of complicating the theory, since if, for example, $R$ is the relational symbol representing the binary functional symbol $f$, we need an axiom of the form $$( \forall x ) ( \forall y ) ( \exists z ) ( \forall u ) ( R(x,y,u) \leftrightarrow u = z ).$$ But since $R$ and $f$ are definable from one another, there would be a natural translation of theorems of one theory into the other.

Another expense is the statement of certain theorems of model theory. For example, a theory $T$ is said to *admit elimination of quantifiers* if for every formula $\phi (x_1 , \ldots x_n )$ there is a quantifier-free formula $\psi (x_1 , \ldots x_n )$ such that $$T \vdash (\forall x_1 ) \cdots ( \forall x_n ) ( \phi \leftrightarrow \psi ).$$

The basic example of a theory admitting elimination of quantifiers is the theory of real closed fields.

Note that if the underlying language has no constant symbols, then there are no quantifier-free sentences, and therefore no theory without constant symbols can admit elimination of quantifiers. One would have to alter the definition so as to only concern those formulas $\phi$ *with at least one free variable*. One can show that this would be faithful, but it is also a somewhat less natural definition.

Formally, you’re quite right: function symbols could be “defined out” by using relations. But the notion of terms make a great many things vastly more natural.

Among the features we would like to have in our first-order logic is that the structure of a proof of a mathematical statement in some theory of FOL (say, the theory of groups) structurally mirrors the proof in natural-language mathematics. In natural-language mathematics, though, we use functions (and operations) all the time, and it is frequently very unnatural to think of them as relations. This is still a little fluffy, though. A good example of how this surfaces in logic is when we work in an elementary fashion with model embeddings. Working with terms in that context allows you to very naturally exploit the perspective that the objects in a model arise — are “created” if you will — by closing under functions and operations. Without terms in the language, it becomes very difficult to employ that sort of reasoning in mediating between semantic and syntactic issues.

- Bessel Equations Addition Formula
- What does sgn mean?
- Evaluate $\int_0^1\left(\frac{1}{\ln x} + \frac{1}{1-x}\right)^2 \mathrm dx$
- Infinite group with only two conjugacy classes
- How does one read aloud Vinogradov's notation $\ll$ and $\ll_{\epsilon }$?
- Proving $\sum_{k=0}^{2m}(-1)^k{\binom{2m}{k}}^3=(-1)^m\binom{2m}{m}\binom{3m}{m}$ (Dixon's identity)
- Why do we say “radius” of convergence?
- How can I prove $(a+b)\mod m = ((a \mod m) + (b \mod m)) \mod m$?
- Questions on Erdős–Ginzburg–Ziv theorem for primes and understanding related lemmas and their applications.
- Recurrence substitution method
- Find the side of an equilateral triangle given only the distance of an arbitrary point to its vertices
- A form of cumulative distribution
- Is this lot drawing fair?
- How fast does the function $\displaystyle f(x)=\lim_{\epsilon\to0}\int_\epsilon^{\infty} \dfrac{e^{xt}}{t^t} \, dt $ grow?
- Trigonometric Triangle Equality