arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0705.0901

How to release Frege's system from Russell's antinomy

Paola Cattabriga
View original source ↗Read source document ↗Export metadata ↓

Abstract

The conditions for proper definitions in mathematics are given, in terms of the theory of definition, on the basis of the criterions of eliminability and non-creativity. As a definition, Russell's antinomy is a violation of the criterion of eliminability (Behmann, 1931; Bochvar, 1943). Following the path of the criterion of non-creativity, this paper develops a new analysis of Comprehension schema and, as a consequence, proof that Russell's antinomy argumentation, despite the words of Frege himself, does not hold in Grundgesetze der Arithmetik. According to Basic Law (III), the class of classes not belonging to themselves is a class defined by a function which can not take as argument its own course of value. In other words, the class of classes not belonging to themselves is a class whose classes are not identical to the class itself.

Explore related subjects

math.GMmath.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Paola Cattabriga. 2007-05-10. How to release Frege's system from Russell's antinomy. https://arxiv.org/abs/0705.0901

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Quelques remarques sur les vari{é}t{é}s, fonctions de Green et formule de Stokes

We give some remarks on some manifolds K3 surfaces, Complex projective spaces, real projective space and Torus and the classification of two dimensional Riemannian surfaces, Green functions and the Stokes formula. We also, talk about traces of Sobolev spaces, the distance function, the notion of degree and a duality theorem, the variational formulation and conformal map in dimension 2, the metric on the boundary of a Lipschitz domain and polar geodesic coordinates and the Gauss-Bonnet formula and the positive mass theorem in dimension $ \geq 3 $ and in the flat and non flat case. And the Ricci flow. And fields and their relation to the equations.And obstructions in astronomy. And on strings, superstrings and D-branes. And topological solutions in the negative case, critical, supercritical and superstrings and symmetry. And geometrization. And Decision problem, SAT problem and p=np problem.

math.GM↗
arXiv2026

Counting Truchet Tile Balls

A formula is established that counts the number of different balls that can be made by decorating the pentagons and hexagons of a classic football with Truchet-like patterns.

math.GM↗
arXiv2026

A Theory of Scales and Orbit Covers

This paper develops a formal theory of musical scales and their harmonic coverings and introduces orbit covers: coverings obtained by translating a fixed subset across a scale via a group action. Orbit covers generalize familiar constructions, such as the covering of the diatonic scale by tertian triads, and are motivated by the search for a generalized harmonic framework extending common-practice tonality. We model modes as group structures associated with pitch-class sets and scales as torsors, introducing scale covers and, in particular, orbit covers. To each orbit cover we associate a nerve complex encoding its intersection structure and associated topological invariants. We classify triadic orbit covers of heptatonic scales up to affine symmetry and nerve isomorphism. These results support a broader theory of harmonic organization with analytical and compositional applications.

math.GM↗