-
This has been brought up before , but that topic died, and I think bumping it would result in limited interest. My basic proposition is the same: that praxeology could potentially be formalised in some way. I'm not an expert logician, but I can see that the action axiom could be stated in first-order...