Has Loop Quantum Gravity Been Axiomized?

I was just wondering if any work had been done to axiomize loop quantum gravity. If so what are the axioms of LQG?

Thanks

• Usually the sequence of how things work in physics is that a theory is gradually developed and refined, its predictions are verified by experiment and observation, and at some point much later (or usually never, in fact) it gets formalized. LQG isn't even at the point where it can make predictions. However, I think its enthusiasts consider it to be the canonical way to quantize gravity, so they would probably say that its axioms are simply those of quantum mechanics. BTW, I didn't downvote the question, and I'm not sure why someone did. Downvoter, please leave a comment. – Ben Crowell Aug 27 '19 at 23:09