how do I know my proof is right?

Stream: new members

[Juan Monsalve]

Hello, Im a newbie here and mathematics too.

First to ask. I'm afraid for this parragraph and if someone interested to help me, I appreciated.

I've studied mathetics since May and I'm going class in Fall semester. I'll have a curse on elemental geometry and I've been preparing. The question is How do I know my prove is right and How do I know what are the neccesary steps to prove something?
Something else, I started to read Elemenatry geometry for coleggue students to refresh my mind and now I'm reading foundations of geometry in hilbert to then read about elementary taski's geometry to final read Euclides. I know thats not the order but I want the most rigorous in question but I'm not sure of my election, what is your advice?

[Notification Bot]

A message was moved here from #general > Proofs about random programs by Kim Morrison.

[Kenny Lau]

is this related to lean?

[Martin Dvořák]

If the statement is correctly formalized as myTheorem and writing

#print axioms myTheorem

underneath the finished proof gives you output

info: 'myTheorem' depends on axioms: [propext, Classical.choice, Quot.sound]

(or a subset of the axioms above), then you know your proof is right.