kdrag.theories.logic.zf.test

kdrag.theories.logic.zf.test()
>>> True
True