Metataal is de benaming voor elke taal of daarmee vergelijkbaar systeem met behulp waarvan dezelfde of een andere taal of een ander systeem wordt beschreven. Dit gebeurt met name in de gewone
taalkunde, de
computertaalkunde en de
logica. Metataal is daarmee tot op zekere hoogte
autologisch van aard.