it does not believe math statements with probability 1 or 0 until it investigates them. As soon as it investigates whether (X|conjunction of simple math steps) is true and determines the answer, it sets P(X)=1.
it does not believe math statements with probability 1 or 0 until it investigates them. As soon as it investigates whether (X|conjunction of simple math steps) is true and determines the answer, it sets P(X)=1.