No.11531379 ViewReplyOriginalReport
Why do we need proofs? Why can’t we just take all true statements as axiomatic?