La logica del primo ordine xe ‘n esenpio de linguagio formałe.