# Set Theory and Logic

## 1707 Submissions

[2] **viXra:1707.0336 [pdf]**
*submitted on 2017-07-26 03:15:00*

### Natural Algebra and Differencial Cell: a Boolean Logic Isomorphism a General Model of Processors Based on Physic Transformations. Synthesis of an Optoelectronic Processor

**Authors:** Carmine D'Errico

**Comments:** 16 Pages.

In this paper a new isomorphism is demonstred to exists who is demonstred to be a subset of boolean algebra.
Then all the properties of this new algebra are sketched out and the most important logic theorems are demonstred a new form.
Therefore a fully photonc logic gate is demonstred to be possible with a power consuption very near to zero.
Other analysis are offered.
The results of a prototype are showed to be compatible with theory

**Category:** Set Theory and Logic

[1] **viXra:1707.0220 [pdf]**
*submitted on 2017-07-16 10:14:11*

### Proof of ZFC Axioms as Normal Statements No. 2.2

**Authors:** Thomas Limberg

**Comments:** 6 Pages. Language: German

We interpret 5 of the 10 axioms of ZFC (Zermelo-Fraenkel set theory with axiom of choice) as normal statements and proof them. So these 5 sentences don't need to be introduced as axioms, but can be used as proven statements.

**Category:** Set Theory and Logic