New posts in first-order-logic

Deductive proof - need help, explanation how to

first-order-logic

How to prove non-equality using Peano axioms?

logic first-order-logic predicate-logic peano-axioms

categorical interpretation of quantification

reference-request logic category-theory quantifiers first-order-logic

A is a proposition formula that contains only iff. A is a tautology iff each atomic proposition in A appears an even number of times.

logic propositional-calculus first-order-logic

Proof- vs. model-theoretic definitions of extension and of conservative extension

logic model-theory first-order-logic formal-languages proof-theory

Equivalence of weak induction

discrete-mathematics logic induction first-order-logic logic-translation

Gödel's completeness theorem and the undecidability of first-order logic

logic first-order-logic computability incompleteness decidability

Whats wrong with this model theoretic proof of the twin primes conjecture?

number-theory first-order-logic model-theory fake-proofs prime-twins

Can all math results be formalized and checked by a computer?

logic predicate-logic first-order-logic foundations proof-theory

Why does what I've written fail to define truth?

logic reference-request predicate-logic first-order-logic axioms

Regarding Enderton’s group axioms

group-theory first-order-logic

How to convert numerical claims to first order logic?

logic first-order-logic predicate-logic quantifiers logic-translation

A question about removing equality in predicate logic

logic first-order-logic

Most astonishing applications of compactness theorem outside logic

logic model-theory compactness big-list first-order-logic

Compactness and axiomatisability

logic first-order-logic model-theory

PA├ ∃xP(x) but PA$\nvdash$ P(n) for any n?

first-order-logic incompleteness nonstandard-models

How to find the shortest proof of a provable theorem?

logic set-theory first-order-logic proof-theory

Does there exist a formula of first-order logic that is satisfiable only on structures with infinite domains? [closed]

logic predicate-logic first-order-logic

First order definition of $\pi$

first-order-logic pi

Is the negation of a non-theorem a theorem?

logic first-order-logic