Sa lògica de su Primu-òrdine est un’esèmpiu di limbàgiu formale.