On the expressive power of first-order logic with built in predicatesNicole SchweikardtÉpuisé4,3Prévenez-moi
