Lògica de primer ordre: diferència entre les revisions
Contingut suprimit Contingut afegit
Línia 252:
=== Generalitzacions ===
Existeixen diversos sistemes lògics que generalitzen la lògica de primer ordre <math>\mathcal{L}_{I}</math> i als que són aplicalbes els teoremes de Lindström son aplicables que classifiquen lògiques que inclouen:
* La [[lògica de segon ordre]] completa <math>\mathcal{L}_{II}</math>
* La lògica feble de segon ordre completa <math>\mathcal{L}_{II}^w</math>
* La lògica de primer ordre infinitària <math>\mathcal{L}_{\omega_1\omega}</math>
| |||