The fine-structure tag has no usage guidance.

**7**

votes

**0**answers

169 views

### Does $\mathsf{fReR}_0$ prove the existence of the cartesian product of two sets

$\mathsf{fReR}_0$ is the set-theoretical system whose axioms consist of:
(1) Axiom of extensionality: $\forall z\in x\ (z\in y)\wedge\forall z\in y\ (z\in x)\rightarrow x=y$
(2) Axiom of empty set: $...

**3**

votes

**2**answers

259 views

### A question on Gandy-Jensen system and the rudimentary functions

Let $\mathrm{R}_0,\cdots,\mathrm{R}_8$ be the following functions:
$\mathrm{R}_0(x,y)=\{x,y\}$
$\mathrm{R}_1(x,y)=x-y$
$\mathrm{R}_2(x)=\bigcup x$
$\mathrm{R}_3(x,y)=x\times y$
$\mathrm{R}_4(x)=\...