The Foundations of Mathematics

A, yes, i'm afraid we do a little bragging about this. So let me just try to give you thist very, very simple explanationwith with aristotle recourse,. We have the syllogism, all as are bees. Erthing had to be fit into that syllogistic form. A great many is an infinite number of valid inference forms. And what you want is a language capable of expressing them and rules that formulate when they are valid. If then, if only, it trific. Ok. I guess we have part of the where are we now? so were as i understand it, we're at this stage of of looking at what the foundations of mathematics are