Is everything provable as true, false, or undecidable? Is it possible to know whether any and all statements are true, false, or undecidable under standard mathematical axioms, e.g. ZF? 
 A: I will prove:

There does not exist an algorithm that, for any statement P in the language of set theory, classifies P as being provable, disprovable, or independent of the axioms of ZF

Suppose you had an oracle $M$ that solves this problem. You can use this to create an algorithm that enumerates the theorems of a complete extension of ZF:


*

*Let $A$ be a tautology

*For every statement $P$ in the language of set theory:


*

*Use $M$ to classify the status of $A \Rightarrow P$

*If $A \Rightarrow P$ is provable in ZF, output $P$

*If $A \Rightarrow P$ is independent of ZF, then set $A = A \wedge \neg P$



The idea is that the algorithm iteratively builds a list $A$ of new axioms to add to ZF to make it complete; the oracle $M$ is used to ensure we never select an inconsistent set of axioms.
Gödel's incompleteness theorem says that there does not exist an algorithm that can do this; consequently there is no algorithm for determining the output of $M$.
A: No, because every axiomatic system has it's own limits (after that limit you have to postulate something to continue developing the layers of complexity), because in fact to construct a complete axiomatic system you have to postulate an infinity of infinity axioms, because you can construct an infinity of infinities of statements and theroms .... and the notion of infinity is transcendental (countable, uncountable..... and more bigger cardinal sets), so it's so far to reach any statement, because you can construct bigger and bigger sets which have larger cardinality, for example you have naturals countable, real number not countable, super real number which is the power set of real numbers and you can keep on forever, so you can index by this power sets much larger number of statement that you cant reach by any means, so you can't prove them so you can't decide if it's true or false or undetermined. Axioms are not all you need to construct a theory, because there is an infinity of axioms within us, including your brain mechanisms for examples, or the laws governing the matter whom you are constituted of, all that it's an intrinsic axioms, because simply to construct something for the pure void, you have to postulate in infinity of axioms because you have to construct every thing from scratch, and the existence it self is infinite compared to the existence is the reason why $\infty\times 0 $ maybe equal to some thing like $1$ or $2$ ...  but $0\times$ any number $=0$, you can't postulate a finite number of axioms and construct really something, every finite axiomatic system will be incomplete at certain range of it's development in much higher layers of complexity.
A: No, in general this is not possible to know for all statements. For example, it is conceivable that the Riemann Hypothesis might forever remain "false or undecidable or true". (Also, in the particular example of the Riemann Hypothesis, the states "undecidable"/"true" are not mutually exclusive.)
