Postulates And Axioms On The Blockchain