We propose a model to assign prime numbers to axioms and theorems, then by comparing equivalent numbers, it results in new equivalent theorems.
Open Mathematics Collaboration
Would you like to discuss and co-author this paper? (Join our open Slack channel)
Op. J. Math. Phys.
Volume 2, Article 132, 2020 [FC]