Un sistema formal se considera ser completo si todos los teoremas que son parte del sistema pueden ser verdades probado. Observe que todas las teorías no tienen que realmente ser verdades probado, sólo sea capaz de ser verdad probado.
# | A | B | C | D |
E | F | G | H | I |
J | L | M | N | O |
P | Q | R | S | T |
U | V | X | Y |
Enciclopedia de Todas las Palabras de la Matemáticas es un servicio de
Life is a Story Problem.org.
Los derechos reservados ©2005-2009 de Life is a Story Problem.org. Todos los derechos reservados.
Este trabajo
se autoriza debajo de una
Creative Commons Attribution-Noncommercial-Share Alike 3.0 License