Nella logica matematica il concetto di rappresentabilità di una funzione o di un predicato è relativo alle teorie formali dell’aritmetica, ovvero alle teorie del primo ordine che hanno come linguaggio il linguaggio dell’aritmetica del primo ordine e che quindi ammettono come modello la struttura dei numeri naturali dotati delle operazioni di addizione e moltiplicazione. Esempi di tali teorie sono l’aritmetica di Peano e l’aritmetica di Robinson. L’idea di un insieme rappresentabile da una teoria aritmetica T è quella di un insieme per il quale esiste una formula che esprime l’insieme nel linguaggio di T dato un qualunque numero è possibile “farsi dire” dalla teoria T se questo appartiene o no all’insieme. Un discorso analogo vale per le funzioni rappresentabili.