Definição
Do latim *definire* — "delimitar", "fixar fronteiras".
term: Definição etymology: 'Do latim definire — "delimitar", "fixar fronteiras".' summary: 'Estipulação do significado de um termo dentro do sistema formal. Não tem valor-verdade — é convenção.' relatedModules: [proof-methods] seeAlso: [axioma, teorema, bicondicional]
Definição
Estipulação do significado de um termo dentro do sistema formal. Não tem valor-verdade — é convenção.
Intuição
Um batismo. Não dizemos que está "certa" ou "errada"; ela é útil ou não é.
Registro computacional
Como declarar um type alias ou dar nome a uma estrutura já existente.
Nota
Definições matemáticas são quase sempre bicondicionais: o termo definido e sua caracterização valem ou caem juntos.