Formal verification technology has been widely applied in the fields of mathematics and computer science. The formalization of fundamental mathematical theories is particularly essential. Axiomatic set theory is a foundational system of mathematics and has important applications in computer science. https://parisnaturalfoodes.shop/product-category/red-chestnut/