3 ms·

> this is trivial to prove Please don't forget to state the axioms before building the proof.

• monideas 5mo ago
  You can look up "prime mover aristotle" and "cogito descartes" if you're interested.