Mr. HaLeiVi:
C”V I’m asking for a Nisayon! I just am not looking for Hashem to take away my Bechira. If seeing a Nes will not do so, then it is not a proof.
The second paragraph: Proof of an event (let’s call it a theorem) requires some prior assumptions (let’s call them axioms). I am questioning the Axioms (or saying to prove the axioms before proving the event).
As an example, there is a theorem that the shortest distance between two points is a straight line. This assumes the Parallel postulate (simply that there can not be more than one Parallel line through a point).
Now, if we challenge that assumption (the Parallel postulate), the theorem is no longer true. Then we can imagine (or prove) a system (non Euclidian Geometry) in which the shortest distance is not a straight line.