metaconjecture
nef
nontheorem
Robertson-Seymour theorem
optimal
combinatorics
local minimum
optimum
undetermined
proposition
anafunctor
quasimetric
noncriterion
intermediate value theorem
disconformity
Turán's theorem
set theory
conjectural
Paris-Harrington theorem
fundamental theorem
noncommutability
Desargues configuration
semigroupoid
no-go theorem
axiom of countable choice
de Bruijn-Erdős theorem
categorify
Schinzel's hypothesis H
penalty function
conjecturalist
foreguess
unconjectured
graph-theoretically
constatation
Oesterlé-Masser conjecture
basic assumption
self-evident truth
abc conjecture
linear programming
decidable
nontriviality
nonrestrictivist
quasinorm
Fano plane
noncommutatively
constrainedly
symmetric polynomial
pluperfection
guessingly
Rolle's theorem