Besonderhede van voorbeeld: 1722433795207231086

Catalan

El conjunt de totes les fórmules ben formades a la lògica de primer ordre.

Spanish

El conjunto de todas las fórmulas bien formadas en la lógica de primer orden..