2 ms·Yes, and constructing mathematical theories is completely different from finding proofs.by marcosdumay 1y agoYes, and constructing mathematical theories is completely different from finding proofs.