#theorem proving #mathematical logic #math lecture #verified result #math statement