axioma
31Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …
32axiome — [ aksjom ] n. m. • 1547; lat. axioma, gr. axiôma, de axioun « juger digne, valable » 1 ♦ Philos. Vérité indémontrable mais évidente pour quiconque en comprend le sens (principe premier), et considérée comme universelle. Postulat et axiome. ⇒… …
33Enslaved — Enslaved …
34Axiomas de Peano — Saltar a navegación, búsqueda Los axiomas de Peano o postulados de Peano son un conjunto de axiomas para los números naturales introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han utilizado prácticamente sin cambios para una… …
35Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …
36Matemáticas del origami — Se han realizado numerosos estudios matemáticos acerca del arte del plegado de papel papiroflexia u origami. Los aspectos que han despertado interés matemático incluyen la capacidad de aplastar sin dañar una determinada figura de papel (problema… …
37Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …
38Teorema de Tychonoff — En topología, el teorema de Tychonoff establece que el producto de cualquier colección de espacios topológicos compactos es compacto. El teorema se nombró así por Andrey Nikolayevich Tychonoff, quien lo probó por primera vez en 1930 para… …
39Миафизитство — Проверить информацию. Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье. На странице обсуждения должны быть пояснения …
40Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …
