Definition of Veritas Demonstrationis Tollit Errorem Nominis