Maestro

2Lisura y blandura que presenta un objeto al ser tocado y que resulta agradable al tacto
1 Actitud pacífica, dulce y amable con que una persona dice o hace una cosa:
3 Falta de brusquedad oviolencia con que se hace un movimiento:
suavidad' aparece también en las siguientes entradas:
amor - aspereza - áspero - delicadeza - bondad - dulzura - dureza - duro - finura - levedad - melodía -melosidad - morbidez - posar - sentir - tabla - templanza - tirar
Axioma lógico
Los axiomas son ciertas fórmulas en un lenguaje formal que son universalmente válidas, esto es fórmulas satisfechas porcualquier estructura y por cualquier función variable. En términos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretación posible, con cualquier asignación devalores. Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría
Postulado:
Los postulados son fórmulas específicas de una teoría que se aceptan solamentepor acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo los números naturales y los números enteros, pueden comprender los mismos axiomas. Sin embargo los postulados expresan lo quees esencial de una estructura, o un conjunto de éstas. A diferencia de los axiomas lógicos, los postulados no son tautologías.
Cualquier teoría matemática moderna se fundamenta en un conjunto depostulados. Aunque se pensaba que, en principio, toda teoría se podía axiomatizar y formalizar, posteriormente esto se demostró imposible.
Teorema: Un teorema es una fórmula bien formada que puede serdemostrada dentro de un sistema formal, partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguajenatural formalizado.
Corolario: Un corolario (del latín corolario) es un término que se utiliza en matemáticas y en lógica para designar la evidencia de un teorema o de una definición ya demostrados,...