[2] viXra:1506.0147 [pdf] replaced on 2015-07-26 23:12:31
Authors: Thomas Colignatus
Comments: 13 Pages.
The Zermelo-Fraenkel-Axiom-of-Choice (ZFC) system of axioms for set theory appears to be inconsistent. A step in developing this proof is the observation that ZFC would be deductively incomplete if it were consistent. Both points are proven by means of the singleton. The axioms are still too lax on the notion of a well-defined set.
Category: Set Theory and Logic
[1] viXra:1506.0145 [pdf] replaced on 2019-10-22 10:54:43
Authors: Jaykov Foukzon
Comments: 85 Pages.
In 1980 F. Wattenberg constructed the Dedekind completion^{∗}ℝ_{d} of the Robinson non-archimedean field ^{∗}ℝ and established basic algebraic properties of ^{∗}ℝ_{d} [6]. In 1985 H. Gonshor established further fundamental properties of ^{∗}ℝ_{d} [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion^{∗}ℝ_{d} in transcendental number theory were considered. We dealing using set theory ZFC+¬∃(ω-model of ZFC).Given an class of analytic functions of one complex variable f∈ℚ[[z]], we investigate the arithmetic nature of the values of f(z) at transcendental points eⁿ,n∈ℕ.Main results are: (i) the both numbers e+π and e×π are irrational, (ii) number e^{e} is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained.
Category: Set Theory and Logic