IIRC some of the axioms use recursion so I don’t see why that wouldn’t be allowed. I’m not entirely certain how you would set it up but it doesn’t seem like it should be impossible. That link looks interesting though, perhaps it addresses it.
IIRC some of the axioms use recursion so I don’t see why that wouldn’t be allowed. I’m not entirely certain how you would set it up but it doesn’t seem like it should be impossible. That link looks interesting though, perhaps it addresses it.