genericsuperhero/zeroth
At first glance it might appear that by using axiom schemata as in the example any first-order logic can be made zeroth-order. However, in general only universal quantifiers at the outermost level can be eliminated this way.
Developer Profile
genericsuperhero
Discovered public repositories for genericsuperhero in the GitHub catalog.