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