List questions from provability | MathQa

Can't prove $2^n > n$ with Mathematical Induction

Published on 13 Jan 2025 - 2:09

Prove without using truth table

Published on 12 Jan 2025 - 21:06

Can we continue a proof by contradiction even if we get to a contradiction?

Published on 13 Jan 2025 - 0:00

How does Gödel's second incompleteness apply to any theory containing arithmetic?

Published on 02 Jan 2025 - 4:07

Show that a theory is complete if and only if (B or C is provable) implies (either B is provable or C is provable)

Published on 02 Jan 2025 - 4:07

Unary predicate for finite number of values

Published on 13 Jan 2025 - 2:06

Impossibility of proving a foundation to be consistent

Published on 13 Jan 2025 - 2:15

Show that if GL $\vdash$ X then for all interpretations $\xi_i$ of GL in PA, PA $\vdash \xi_i(X)$

Published on 02 Jan 2025 - 21:56

The right way of defining a predicate

Published on 13 Jan 2025 - 2:08

Can there be true but unprovable statements about object other than numbers?

Published on 27 Dec 2024 - 18:24