ulkb.show_axioms# show_axioms(*args, theory=None, **kwargs)[source]# Prints axioms matching criteria. See Theory.show_extensions().