maximal
complete
prime formula
algebraic variety
inference rule
equisatisfiable
multiformula
Voronoi formula
multiquadric
and
mathematical
prefix notation
Taylor series
Lukasiewicz notation
Polish notation
anticyclotomic
polynomially
irreducible
curlicue fractal
Boas-Buck polynomial
permuton
meaned
symmetric polynomial
product rule
fewnomial
mathematicize
set theory
theorem
mathbabble
Horner's rule
Cramer's rule
formulaically
like terms
Herbrand universe
postfix notation
rational function
reverse Polish notation
polyvalently
suffix notation
Gleason's theorem
blackboard bold
Tarski-Seidenberg theorem
posynomial
quantifier
absolute term
homogeneous function
algebraic
lambda term
bimeromorphic
mathematical function program
p-adic norm
binary function
integral
linearized
polynomial
Cantor dust
multinomial
Löb's theorem
linearly
general formula
setlike
algebraic function
algebraic number
catalecticant
Lagrange's interpolation formula
subformula
Schinzel's hypothesis H
statistical randomness
subhomogeneous
nonpolynomially
Appell sequence
nonsymmetrized
cardinal number
quasilinear
indeterminate
arithmetic
mathematically
implicans
sequent
axiom of extensionality
normed
ultraelliptic
chessboard
quantic
n-type
formularize
formularise
indiscrete
von Mangoldt function
aldoximate
monomorphism
absolute
nondiscrete
isovalently
Legendre's differential equation
Pythagorean theorem
analytic function
formulistic
uniformly continuous
fractal

English words for 'Said of a set of well-formed formulas: that it is as large as it can be without being inconsistent; i.e. that for any well-formed formula φ, the set contains either φ or ~φ.'

As you may have noticed, above you will find words for "Said of a set of well-formed formulas: that it is as large as it can be without being inconsistent; i.e. that for any well-formed formula φ, the set contains either φ or ~φ.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

volubility Anno Domini precision equipment appointment system shakuhachi Not melted discomfort index to flip out. sworn younger brother magic marker stroma nibble the said ... coffee mill to read through cerebral hemorrhage cunning person A bond of union get a grip followed by A weight class in many combat sports of a stringed instrument difficult to penetrate myositis exchange rates minibike ingratiating smile probing zealot almighty stubbornness. lesion qualities to animate. inanimate to no purpose dingy to beat. foot soldier trap door A male given name probability subjugation importance. puppet To agree to push aside worn-out everyone consideration