I looked at the axioms and one of them was that there is only one absolute being ("A(x)") & then another axiom assumes that another existing entity (they call it "Y(x)") is equivalent to it. I think this is all trivially satisfied w/ the singleton domain so their axioms are essentially describing a set w/ one element.

Seems novel but if you lack the prerequisite mathematical training then you might not notice they're not really saying much.

i have been waiting for someone to do this. as a nontechnical Advaita practitioner it's a bit over my head logically or mathematically. could this also be made into a formal ontology, like a Protégé model or OWL/RDF file?