This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
Using a mélange of mathematical syntaxes, we mechanize some exercises from Tao's excellent book Overture Let us informally define sets and set membership $\in$. A set is an unordered collection of objects , with the set itself being an object. Set membership checks whether a given object is contained within a set: The axiom of substitution uses the definition of equality: The axiom of substitution…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.