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