Signatura (logica)
Signatura in logica mathematica est copia signorum alicuius linguae logicae. Sit, exempli gratia, formula arithmetica ut ∀ x x + 0 = x {\displaystyle \forall x\,x+0=x} (quae dicit x + 0 = x {\displaystyle x+0=x} cuique numero x {\displaystyle x} ). In hac formula ∀ {\displaystyle \forall } , x {\displaystyle x} et = {\displaystyle =} sunt signa logica, quia omnes formulae logicae his utuntur, sed non sunt + {\displaystyle +} et 0 {\displaystyle 0} , quae sunt signa in hac tantum lingua. Igitur signatura huius linguae haec signa continet. Cura ut natura rerum quas continet signatura bene decernatur, quod signatura non constantes, functiones, relationes ipsas continet, sed tantum earum signa.