We introduce a quite natural Frege-style set theory, which we call Strong-Frege-2 equation image, a sort of simplification of the theory considered in 13 ...
In mathematical logic, positive set theory is the name for a class of alternative set theories in which the axiom of comprehension holds for at least the ...
Missing: inequality. | Show results with:inequality.
Oct 22, 2024 · We discuss the consistency problem for a positive set theory with equality called Strong-Frege-3, introduced by Hinnion some twenty years ago.
We discuss the consistency problem for a positive set theory with equality called Strong-Frege-3, introduced by Hinnion some twenty years ago. We also ...
Sep 15, 2017 · Looking at some positive set theory - which proves that S exists, since "x∈x" is a positive formula, but is not susceptible to Russell's paradox.
Missing: inequality. | Show results with:inequality.
We first show that if some number solves the in- equality, then it belongs to a certain set.
We discuss the consistency problem for a positive set theory with equality called Strong-Frege-3, introduced by Hinnion some twenty years ago.
Missing: inequality. | Show results with:inequality.
Duration: 57:47
Posted: Jul 6, 2018
Posted: Jul 6, 2018
Missing: positive | Show results with:positive
Duration: 1:07
Posted: May 30, 2020
Posted: May 30, 2020
In this video they solve the quadrtic inequality by factorising the quadratic. This is a good idea if the quadratic factorises easily, otherwise the completing ...