first-order

related words
differentiable
trigonometric
subtraction
projective
mathg
commutative
multiplicative
computable
quadratic
mathy
lambda
subspace
elliptic
mathn
parse
nonzero
quaternion
cosine
fractal
x_1
related documents
First-order logic
Mathematical logic
Model theory
Peano axioms
Gödel's completeness theorem
Alfred Tarski
Gödel's incompleteness theorems
Automated theorem proving
Intermolecular force
Axiom
Phase transition
Compactness theorem
Original proof of Gödel's completeness theorem
Free will
Finite set
Russell's paradox
Partial differential equation
Type theory
Entscheidungsproblem
Natural deduction
related topics
{math, number, function}
{math, energy, light}
{theory, work, human}
{government, party, election}
{country, population, people}
{disease, patient, cell}
{island, water, area}
{god, call, give}
{food, make, wine}
{acid, form, water}
{son, year, death}
{church, century, christian}
{mi², represent, 1st}
{work, book, publish}
{law, state, case}
{language, word, form}
{rate, high, increase}
{system, computer, user}
{@card@, make, design}
{album, band, music}