# The meaning of definition written in the form ... is...

Mathematics Asked by Jsi23484 on January 1, 2022

I am studying mathematics logic and i am now criticising all the things…

I met some definitions which are in the form of … is ….

For example, A construction sequence for an expression $$alpha$$ is a finite sequence $$alpha_1,…alpha_n=alpha$$ such that each $$alpha_i$$ is member of core set or it is a result of applying some $$fin P$$ to $$alpha_i,…alpha_j$$.

My question is, is it true that the set of construction sequence for $$alpha$$ is equal to the set of finite sequence $$alpha_1,…alpha_n=alpha$$ such that each $$alpha_i$$ is member of core set or it is a result of applying some $$fin P$$ to $$alpha_i,…alpha_j$$?

Moreover, are there any formal way to construct definition in mathematics?

is it true that the set of construction sequence for 𝛼 is equal to the set of ...

Yes, trivially -- they are equal by definition, because the same set is being talked about. There is the same written to the left and right, it just looks different.

A definition is just syntactic sugar for the meta language: It means that instead of writing "a finite sequence $$alpha_1,...alpha_n=alpha$$ such that each $$alpha_i$$ is member of core set or it is a result of applying some $$fin P$$ to $$alpha_i,...alpha_j$$", we can write "a construction sequence for $$alpha$$". There is nothing deeply set-theoretic going on behind it: A definition is just inventing a new word for some mathematical concept to use as a convenient abbreviation to refer to said concept in texts. The structure underlying the concept already existed before inventing a special word for it, and writing up a definition doesn't create a new kind of entity nor does it perform any sort of set-theoretic operation on objects: It's just giving that thing a short name (the definiendum) so we don't have to spell out its exact description (the definiens) every time we want to mention it in a text; the short name and the long description refer to the same one thing.

If you want to define it formally, you can say something like a definition being an expression in the meta language, "A := B", whose semantics is that the extension of A is identical to the extension of B (and the extension of B again is defined by what the extension of the word "sequence" etc. is, until we come down to words for concepts that can no longer be decomposed into already defined concepts any further, such as the concept of a set). This doesn't entirely capture the idea of a definition; we rather need some kind of operational semantics with meaning assignment rather than merely a statement about equality, but you get the idea.

Answered by lemontree on January 1, 2022

## Related Questions

### What is the solution of this summation?

4  Asked on February 12, 2021 by arko-chowdhury

### Number of fixed points of a random permutation

1  Asked on February 12, 2021 by aliba

### Find $a$, $b$ such that $x^2 – x -1$ is a factor of $ax^9 + bx^8 + 1$

6  Asked on February 12, 2021 by aniruddha-deb

### “Standard theorem on differential equations” that implies a function is analytic

0  Asked on February 12, 2021 by stannisba

### Identity up to isomorphism treated as identity in proof

1  Asked on February 12, 2021 by roland-salz

### Burnside’s Lemma bracelet with beads in 2 colours (uneven cardinality)

1  Asked on February 12, 2021 by patrycja

### Prove $2^{lceil lg (n-1) rceil} ge n-1$

1  Asked on February 12, 2021 by hiep

### Identify boolean function that satisfies some constrains

1  Asked on February 11, 2021

### How to show that the curve $ay^2=x(x-a)(x-b)$ has two and only two points of inflexion?

1  Asked on February 11, 2021 by theunixdisaster

### volume under a 3-d curve

0  Asked on February 11, 2021

### Groups of $3$ out of $23$ s.t. all students cooperate exactly once

2  Asked on February 11, 2021 by nikolaos-skout

### (Manifolds) Prove the following is a sufficient condition for a function to be a morphism between manifolds

0  Asked on February 11, 2021 by itamar-e-aharoni

### existence of countably additive measure for Borel subsets of $[0,1]$

1  Asked on February 11, 2021

### Are the two spans equal?

3  Asked on February 11, 2021 by martyna

### Simplifying iterated sums where the upper bound is the next index

1  Asked on February 11, 2021 by user196574

### Mathematical Writing: Can objects in a definition be assigned any name, even though this name is used elsewhere in the text?

1  Asked on February 11, 2021 by clapham

### $T:P_nlongrightarrow P_n : Tp(t)=frac{d}{dt}p(t)text{ Find the norm of the operator}$

1  Asked on February 11, 2021

### Method to solve an equation

1  Asked on February 10, 2021 by khosrotash

### Prove that $sum_{n=1}^infty frac{x^{2n}}{(n+x)^2}$ converges uniformly on $S=[0,1]$

0  Asked on February 10, 2021 by naturalmathlover

### Find moment generating function for $sqrt{n}(overline{X}-1)$

0  Asked on February 10, 2021 by diego-andres-gomez-polo