I1 (72) - Hua III/1 152

Ein Axiomensystem, das in rein analytischer Weise eine Mannigfaltigkeit in der bezeichneten Weise "erschöpfend definiert" [(Q.V.), (Q.V.)], 35nenne ich auch ein definites Axiomensystem; jede deduktive Disziplin, die auf einem solchen ruht, ist eine definite Disziplin oder eine im prägnanten Sinne mathematische.
I1 (72) 163 - Hua III/1 152

A un sistema de axiomas que en forma puramente analítica "define exhaustivamente" una multiplicidad del modo señalado [(Q.V.), (Q.V.)], lo llamo también sistema definito de axiomas; toda disciplina deductiva que descansa en un sistema tal, es una disciplina definita o matemática en sentido estricto.