MODULE ARXMETAMATHBLOCKCHAINS: FOLKSONOMIES SYSTEMS OF METAMATHEMATICS FORMALLY VERIFIABLE BLOCKCHAINS ON MONETARY, NON-MONETARY, ET TERTIUM DATUR NEEDLE EYE CONSENSUSES

2 See also: https://metamath.org/ 3 Tertium Datur 4 END ARXMETAMATHBLOCKCHAINS. 5 SOMETHING AFTER END