Formula (logika) - Hizkuntzak