- #1

- 32

- 0

Thanks.

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter mitcho
- Start date

- #1

- 32

- 0

Thanks.

- #2

- 656

- 0

Thanks.

Even in our universe logic depends on axioms. The example you gave:

if we say that x>y and z>x then we can conclude that z>y is true

is an axiom that can be used do prove some theorems.

But you can use another axiom:

This axiom would be used to prove another set of theorems.

An example:

In arithmetic 1 + 1 = 2.

In boolean algebra 1 + 1 = 1.

- #3

- 918

- 16

Yes and no.

- #4

berkeman

Mentor

- 59,460

- 9,568

Share: