Set Theory and Logic

1903 Submissions

[2] viXra:1903.0461 [pdf] submitted on 2019-03-27 05:43:26

On the Way to a Foundation of Mathematics, Version 7.3

Authors: Thomas Limberg
Comments: 9 Pages. Language: German.

Like the title already tells, it is my goal to create a new foundation of mathematics. In this mathematical article we define the term "mathematical system" and introduce a simple mathematical system called System 1.1, in which a proof sketch of a proof of the existence of the universal set and the empty set within the system is made.
Category: Set Theory and Logic

[1] viXra:1903.0049 [pdf] replaced on 2019-05-31 19:43:12

Interval Sieve Algorithm - Creating a Countable Set of Real Numbers from a Closed Interval

Authors: Ron Ragusa
Comments: 6 Pages.

The interval sieve algorithm partitions a closed interval of real numbers [ri, rj] where ri < rj to create a complete list, L, of numbers in the interval. We will prove that the list L is complete, and derive the bijective function f : ℕ → [r1, r2].
Category: Set Theory and Logic