论推证、事实真理与假设