{'fraction_non_alphanumeric': 0.031914893617021274, 'fraction_numerical': 0.0, 'mean_word_length': 5.541666666666667, '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}}
DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY

It is shown that in impredicative extensions of intuitionistic arithmetic, “intuitionistic” analysis, and “intuitionistic” Zermelo-Fraenkel set theory with the help of suitable “bar” axioms it is possible to show the consistency of classical arithmetic, classical analysis, and classical set theory. It is argued that the proofs given enable one to verify the true consistency of the classical systems.