On February 27, 2020 8:53:29 AM PST, 'Stanislas Polu' via Metamath
<[email protected]> wrote:
> how should I go
>about creating an efficient curriculum for myself in order to achieve
>that
>goal?
Well you'll need to study some of the existing supremum theorems: perhaps axsup
and df-sup are plausible starting points.
But the other thing I'd encourage you to start with is the mechanics of writing
proofs. Doesn't have to be anything new, just reproving some existing theorems
could do. Example exercise: state and prove a deduction form of orel1 . You'll
need to learn the proof mechanics eventually and starting in on it now will
help you achieve concrete things and get a better idea for what is involved in
achieving your goal.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/7FEE45E5-E81B-4BD3-A40B-2803411C467E%40panix.com.
