MAB–ST (Markó Anna Beáta – Set Theory) is a meta-level, relational set-theoretical framework designed as a normative world-framework for formal systems.It does not aim to introduce a new internal mathematical theory, but to define structural admissibility conditions under which formal objects and relations can be meaningfully expressed. The framework originates from a philosophical analysis of the ontological roots of classical set-theoretical paradoxes (Russell, Cantor, Burali–Forti, Gödel) and addresses the problem of self-reference, totality, and level collapse at the meta-level.MAB–ST introduces an explicit world-structure (world-quadruple) that prevents paradoxical constructions not by post-hoc axiomatic restriction, but by making such configurations structurally non-expressible. This record contains: a “Read this first” introductory document, the MAB–ST core framework (“Gerinc”), and the industrial license terms governing the use of the framework. The material is provided for academic research and educational purposes free of charge.Industrial and commercial use is subject to a separate license agreement with the author (see the included license document). The material is provided for academic research and educational purposes free of charge.Any industrial, commercial, or product-integrated use, including but not limited to applied optimization, deployment in commercial systems, or derivative commercial works, is subject to a separate license agreement with the author and is not permitted under the default access conditions (see the included license document for details). Note on structure and access:The main entry point of the MAB–ST framework is the “Read this first” record.All thematic appendices are to be accessed via the core framework and introductory materials provided in that record.
Anna Beáta Markó (Sat,) studied this question.