Give a rigorous and then a formal proof of the theorem :(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\forall x [ (-1).x = -x ][/tex]

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Regorous and formal proof of (-1).x =-x

Loading...

Similar Threads - Regorous formal proof | Date |
---|---|

I An easy proof of Gödel's first incompleteness theorem? | Mar 6, 2018 |

A A "Proof Formula" for all maths or formal logic? | Apr 19, 2017 |

A Formal axiom systems and the finite/infinite sets | Mar 1, 2017 |

Are formal systems of first order logic incomplete? | Oct 21, 2015 |

Confused about formal definitions of probability theory | Jun 27, 2014 |

**Physics Forums - The Fusion of Science and Community**