2,420 followers
Elementary mathematics is based on a deductive system (an axiomatics), f.e. Beth 1962 ‘Formal Methods’ https://t.co/DmH82V8jGG , RME isn’t.
Elementary mathematics is based on a deductive system (an axiomatics), f.e. Beth 1962 ‘Formal Methods’ https://t.co/DmH82V8jGG , RME isn’t.