ulkb.Theory.new\_axiom
======================

.. currentmodule:: ulkb

.. automethod:: Theory.new_axiom