No.11389062 ViewReplyOriginalReport
Why do we need proofs? Why not just take all true statements as axioms?