smFILOS/MATProposición que se admite sen demostración, como punto de partida dunha teoría ou ciencia.
smLINGTermo primitivo ou definición, en gramática xenerativa.
axioma de elecciónAxioma segundo o que, dada unha colección de conxuntos, existe un método de designar un elemento particular de cada conxunto cun elemento especial deste conxunto. OBS: A grafía representa o son [ks].