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