Unterreiter, Andreas2021-12-172021-12-172015-06-232197-8085https://depositonce.tu-berlin.de/handle/11303/15843http://dx.doi.org/10.14279/depositonce-14616311.0(x,z,z). 311.0(x,{}circ f,stm) mit f:U stm {0} to U. P_{unendl}. P_{unendl}(x). paarweise disjunkt. wirkt disjunkt. RECH-Notation: Fortsetzung. U_x Axiom. hoch x. hoch Axiom. p_{ni}_E x. x E_{in}p x {ni}_E_{in} yde510 Mathematikpaarweise disjunkthoch xhoch AxiomU_x AxiomResearch Paper