The mathematical world is awaiting for a definition of existence in order to give a proof the inexistence of ruliad as a rule in ruliad.
Roland