9 les relacions: Conjunt numerable, Lògica, Lògica de primer ordre, Paradoxa, Teoria de conjunts, Teoria de models, Thoralf Skolem, ZFC, 1922.
Conjunt numerable
En matemàtiques, un conjunt és numerable quan els seus elements poden posar-se en correspondència un a un amb un subconjunt del conjunt dels nombres naturals.
Nou!!: Paradoxa de Skolem і Conjunt numerable · Veure més »
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Nou!!: Paradoxa de Skolem і Lògica · Veure més »
Lògica de primer ordre
La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els llenguatges de primer ordre.
Nou!!: Paradoxa de Skolem і Lògica de primer ordre · Veure més »
Paradoxa
Una paradoxa és una afirmació que sembla contradictòria o que va contra el sentit comú.
Nou!!: Paradoxa de Skolem і Paradoxa · Veure més »
Teoria de conjunts
La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.
Nou!!: Paradoxa de Skolem і Teoria de conjunts · Veure més »
Teoria de models
La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica.
Nou!!: Paradoxa de Skolem і Teoria de models · Veure més »
Thoralf Skolem
fou un matemàtic noruec conegut pels seus treballs en teoria de conjunts i lògica matemàtica.
Nou!!: Paradoxa de Skolem і Thoralf Skolem · Veure més »
ZFC
La Teoria de conjunts de Zermelo-Fraenkel (ZFC) és el conjunt d'axiomes canònic de la teoria de conjunts.
Nou!!: Paradoxa de Skolem і ZFC · Veure més »
1922
;Països Catalans.
Nou!!: Paradoxa de Skolem і 1922 · Veure més »