toString

open override fun toString(): String

Name of the axiomatic method.