philosophers from one hand take the “al-vahed” axiom for granted, and on the other hand, they assume that the almighty to be of absolute power. now the question is whether: this is at odds with the “al- vahed” axiom? how can we accept at the same time the absolute power of the almighty and the “al-vahed” axiom? we should say here: majority of philosophers, mystics and kalam specialists have cla...

This paper de1nes the new concept of completely Hausdor& axiom of an L-topological space by means of L-continuous mappings from an L-topological space to the re1ned Hutton’s unit L-interval by Wang. Some characterizations of the completely Hausdor& axiom, de1ned in this paper, are given, and many nice properties of this kind of completely Hausdor& axiom are proved. For example, it is hereditary...

The intent of this paper is to study generalized inductive definitions on the basis of Constructive Zermelo-Fraenkel Set Theory, CZF. In theories such as classical ZermeloFraenkel Set Theory, it can be shown that every inductive definition over a set gives rise to a least and a greatest fixed point, which are sets. This principle, notated GID, can also be deduced from CZF plus the full impredic...

The main challenge of this paper is directed to those at Ditch Z, but the author’s earlier sallies against Ditches X and Y will be reviewed, and in the penultimate section, a new point against them will be made. M is the system, discussed by Mac Lane in [13], that suffices for ‘ local ’ mathematics ; among its axioms are the Axiom of Choice, the Power Set Axiom —which states that for each set...

The issues relating fuzzy sets definition are under consideration including the analogue for separation axiom, statistical interpretation and membership function representation by the conditional Probabilities.

Let $X$ be an infinite set, equipped with a topology $tau$. In this paper we studied the relationship between $tau$, and ultrafilters on $X$. We can discovered, among other thing, some relations of the Robinson's compactness theorem, continuity and the separation axioms. It is important also, aspects of communication between mathematical concepts.

‎let ${x_{alpha}:alphainlambda}$ be a collection of topological spaces‎, ‎and $mathcal {g}_{alpha}$ be a grill on $x_{alpha}$ for each $alphainlambda$‎. ‎we consider tychonoffrq{}s type theorem for $x=prod_{alphainlambda}x_{alpha}$ via the above grills and a natural grill on $x$ ‎related to these grills, and present a simple proof to this theorem‎. ‎this immediately yields the classical theorem...

This paper presents the study of algebraic structures equipped with inverted associativity axiom. Initially, definition left and right almost-groups is introduced afterwards, focused on more general structures, which are almost-hypergroups their enumeration in cases order 2 3. The outcomes these enumerations compared corresponding hypergroups reveal interesting results. Next, fundamental proper...