Before choosing theorems for getting proof tokens we cannot avoid making a stand on the underlying foundation (logic, axioms). For my part, I have been Reading and it seems -- personally -- first-order logic is The most common of logics. it would be used to state mathematical theorems by their set theory formulation (using the set membership relation). The logic would need set theory axioms like ZFC. I don't know if this would be good enough, but we still have time for talking about it and may exchange for an alternative. (we do not need to buy into the underlying logic now)
When your interest is mathematics theorems, you should be looking at Coq / type theory, for example, 4 color theorem was proven in Coq.
I think that there are already several coins and projects with a lot of potential. I don't think that any new coin will present something better than the ones we already have projected
Yes, i agree. the idea for "TrueCoin" reminds me of the Qeditas project:
https://bitcointalk.org/index.php?topic=998559.0but Qeditas does seems not to be very active. last post was a month ago.
just a quick look at that and it is Arguably a Scheme of high value. it does seem a bit ideal. I should be Reading more into it now. Thanks for This nice outcome