I was just thinking about something recently, and I'm now posing a question. It seems to me that in all mathematical proofs I've seen, there is an implicit assumption that the rules of Boolean logic are what are "logical." That is, if you have two mathematical statements P and Q, you assume that ~(P and Q) is the same thing as ~P or ~Q, and that P and (P implies Q) is the same thing as Q, etc. Is it possible to create other "mathematics" where these standard Boolean rules do not apply?(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

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

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

# Axiomatic systems

**Physics Forums | Science Articles, Homework Help, Discussion**