formal[Espagnol]

adjectif satellite
1 : logically deductive; "formal proof"
2 : represented in simplified or symbolic form
adjectif
1 : (of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms