No.11233071 ViewReplyOriginalReport
Why do we need proofs? Why can't we just take all true statements as axioms ?