Formalistics of generalization - Math Research of Victor Porton

📚 Recommended Mathematics Books

Topology (Munkres) | General Topology (Engelking) | Counterexamples in Topology | Rudin's Analysis

As an Amazon associate, I earn from qualifying purchases.

In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer proof assistants.

🔬 Advanced Mathematics References

As an Amazon associate I refer fromm qualifying purchases.

Tagged computer proof, logic, logics, math logic, numbers, proof assistants, set theory