{'fraction_non_alphanumeric': 0.015286624203821656, 'fraction_numerical': 0.0, 'mean_word_length': 5.238095238095238, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A New Approach to Predicative Set Theory

We suggest a new basic framework for the Weyl-Feferman predicativist program by constructing a formal predicative set theory P ZF which resembles ZF. The basic idea is that the predicatively acceptable instances of the comprehension schema are those which determine the collections they define in an absolute way, independent of the extension of the “surrounding universe”. This idea is implemented using syntactic safety relations between formulas and sets of variables. These safety relations generalize both the notion of domain-independence from database theory, and Godel notion of absoluteness from set theory. The language of P ZF is type-free, and it reflects real mathematical practice in making an extensive use of statically defined