Quantum redactiones paginae "Signatura (logica)" differant

{{L1}}

{{Pagina non annexa}}

 

Sit, exempli gratia, formula arithmetica ut <math>\forall x\,x+0=x</math> (quae dicit <math>x+0=x</math> cuique numero <math>x</math>). In hac formula <math>\forall</math>, <math>x</math> et <math>=</math> sunt signa logica, quia omnes formulae logicae his utuntur, sed non sunt <math>+</math> et <math>0</math>, quae sunt signa in hac tantum lingua. Igitur signatura huius linguae haec signa continet.

Cuique signaturae <math>S</math> est lingua <math>L_S</math> sic definita:

* Res primae sunt in copia minima quae:

:* Omnia signa variabilis, id est <math>\{v_i\}_{i\in\omega}</math>, continet, et

:* Si <math>(f,n^f)</math> est in copia signorum functionis et <math>t_0,\dots,t_{n^f-1}</math> sunt res primae, tum <math>f(t_0,\dots,t_{n^f-1})</math> continet.