2 ms·Whats the difference amongst formula, statement, proof and successor?by ir123 6y agoWhats the difference amongst formula, statement, proof and successor?