My discovery about mathematics

                               1

I found a new paradox of the set theory. The mathematicians must surmount it.

                                2

Let X be the countable set of the logical formulas which are the theorems of the standard mathematics.
(0∉N")∧(1∈N")∧∀x∀y((x∈N")∧(y∈N")→(x+y∈N")) ∈X etc.. N" becomes N in the standard model of X.
(x∈N) ⇔ (x=1)∨(x=2)∨(x=3)∨…(infinitely).
Let's see this X as an axiom system.
Theorem 1. X isn't consistent.
Proof. Assume that X is consistent. Let d be an individual symbol which X doesn't include.
Put Y=X∪{d-n∈N" |n∈N}=X∪{d-1∈N",d-2∈N",…}. If Y isn't consistent, Y|- 1≠1.
∃n₁…∃n_m((n₁∈N)∧…∧(n_m∈N)∧(X∪{d-n₁∈N",…,d-n_m∈N"} |-1≠1)). The n_i's don't include d.
n_i∈N. So X |- n_i=1+…+1∈N". Put w(x)=(x-n₁∈N")∧…∧(x-n_m∈N").
X∪{w(d)} isn't consistent. X |- ¬w(d). X doesn't include d. X |-∀x(¬w(x)). Put p=n₁+…+n_m.
X |- ¬w(p). X |- n₂+…+n_m=p-n₁∈N", …,X |- n₁+…+n_m-1=p-n_m∈N". X |- w(p). X isn't consistent.
(Y |- 1≠1. ⇒ X |- 1≠1) is true. If d=1, Y |- 0=d-1∈N". But Y⊃X |- 0∉N". Y isn't consistent then.
((d=1)⇒ Y |- 1≠1) is true. ((d=1)⇒ X |- 1≠1) is true. X doesn't include d and X is consistent.
So d=1 is false. d≠1 is a tautology. X |- d≠1. X |- ∀x(x≠1). X |- 1≠1. This is contradiction.♦
This theorem may be the reason why Gauss didn't admit the infinite set as ghastly one.
The millennium problems and abc conjecture are solved as nonsense by using the set N.

                                            3

The above brings only destruction in the mathematics but its application brings great benefit. Every phenomenon
like reversal of the time becomes possible if you can lead 1+1=3.