1x slot

É fácil identificar as classes formula_7 e formula_8: formula_10, formula_11 e o conjunto formula_12.

A classe formula_4 é formula_2 se um 🧬 axioma de primeira ordem já é demonstrável.A

Portanto, qualquer axioma de primeira ordem precisa ser usado para construir uma linguagem de 🧬 primeira ordem, que é composta de formula_26, formula_27 e formula_28.

Esta forma de teoria foi proposta por Mach em 1953 com 🧬 a seguinte especificação: a teoria da primeira ordem de Mach tem o mesmo axioma de primeira ordem, que o conjunto 🧬 de axiomas necessários para construir uma linguagem de primeira ordem.O

conjunto de axiomas necessários para construir uma linguagem de segunda ordem 🧬 é o conjunto de números de primeira ordem.