Home > Terms > Portuguese (PT) > plenitude
plenitude
Uma linguagem (lógico) é dito ser completo se e só se todas as fórmulas na língua que deve ser verdadeira (em qualquer mundo em que os axiomas da língua são verdadeiros) pode ser provado a partir dos axiomas. Teorema da incompletude de Godel mostra que qualquer língua em que as verdades da aritmética básica pode ser formulado não pode ser completa (a menos que o número de axiomas é infinito).
- Categoria gramatical: noun
- Sinónimo(s):
- Blossary:
- Actividade/ Sector: Philosophy
- Category: General philosophy
- Company:
- Produto:
- Acrónimos-abreviatura:
Outras línguas:
O que quer dizer?
Terms in the News
Billy Morgan
Desportos; Snowboarding
Snowboarder britânico Billy Morgan aterrou o primeiro alguma vez 1800 cortiça quádruplo do esporte. o piloto, que representou a Grã-Bretanha nos Jogos Olímpicos de inverno em Sochi 2014, foi em Livigno, Itália, quando ele alcançou a manobra. Envolve lançando quatro vezes, enquanto o corpo gira também cinco rotações completas sobre um eixo lateralmente ou virado ...
Marzieh Afkham
Broadcasting & receiving; Notícias
Marzieh Afkham - a porta-voz oficial do Ministério dos Negócios Estrangeiros Iraniano - vai liderar uma missão na Ásia Oriental, segundo a agência noticiosa estatal. Não é ainda claro para que país será a mesma enviada, uma vez que a sua nomeação ainda não foi oficialmente anunciada. Afkam será a segunda mulher a assumir o cargo de embaixatriz no Irão. No ...
Pacote semanal
Idiomas; Serviços Online; Gíria; Internet
Semanal pacote ou "Paquete Semanal" como é conhecido em Cuba é um termo usado pelos cubanos para descrever as informações coletadas de internet fora de Cuba e salvos em unidades de disco rígido para ser transportado na própria Cuba. Pacotes semanais são depois vendidos para o cubano sem acesso à internet, permitindo-lhes obter informações poucos dias - e às vezes ...
Banco de investimento de infra-estrutura Asiático (AIIB)
Banking; Investment banking
O Banco Asiático de investimento infra-estrutura (AIIB) é uma instituição financeira internacional criada para atender à necessidade da Ásia para o desenvolvimento de infra-estrutura. De acordo com o Banco Asiático de desenvolvimento, Ásia precisa de US $ 800 bilhões anualmente para estradas, portos, usinas de energia ou outros projetos de infra-estrutura antes de ...
Espartano
Serviços Online; Internet
Spartan é o nome de código dado para o novo navegador da Microsoft Windows 10 que irá substituir o Microsoft Windows Internet Explorer. o novo navegador será construído do chão e desconsiderar qualquer código da plataforma IE. Tem um novo motor de renderização que é construído para ser compatível com como a web é escrito hoje. o ...
Featured Terms
Whitney Houston
Whitney Houston (9 de agosto de 1963 – 11 de fevereiro de 2012) foi uma das mais célebres cantoras femininas de todos os tempos. Em 2009, o Guinness ...
Contribuidor
Featured blossaries
lemony
0
Terms
1
Glossários
0
Followers
Classifications of Cardiovascular Death
Browers Terms By Category
- SSL certificates(48)
- Wireless telecommunications(3)
Wireless technologies(51) Terms
- General Finance(7677)
- Funds(1299)
- Commodity exchange(874)
- Private equity(515)
- Accountancy(421)
- Real estate investment(192)
Financial services(11765) Terms
- Legal documentation(5)
- Technical publications(1)
- Marketing documentation(1)
Documentation(7) Terms
- Natural gas(4949)
- Coal(2541)
- Petrol(2335)
- Energy efficiency(1411)
- Nuclear energy(565)
- Energy trade(526)
Energy(14403) Terms
- Dating(35)
- Romantic love(13)
- Platonic love(2)
- Family love(1)