En lógica de primer orden, la paradoja del barbero se puede expresar como: