Definition of equality (=)

new

« Prev
1
Next »

《§》carbonara <3〖ƧƐ〗
Owner

Maths Lover <3 <3 <3

10000000000000000000 times stronger than pure sulfuric acid ( ͡° ͜ʖ ͡°)

Posts: 912
Favorite Acid: Trifluoromethanesulfonic Acid
Favorite Scientist: P1kachu
Favorite Admin: Miguel888

Definition of equality (=) Jul 9, 2015 13:05:32 GMT

Quote

Post by 《§》carbonara <3〖ƧƐ〗 on Jul 9, 2015 13:05:32 GMT

I just made two formal definitions of the equality symbol "=": "∀x,y(x = y ⇒ ¬∃z(z∈x ∧ ¬(z∈y)))" or "∀x,y(x = y ⇒ (x⊆y ∧ y⊆x))" (litterally: "if x=y, there is no element z of x that isn't in y" or "if x=y, x is subset of y and y is subset of x")

Last Edit: Jul 9, 2015 14:21:42 GMT by 《§》carbonara <3〖ƧƐ〗

Hi Y3ti
Kripke-Platek Set Theory

Coming to you from Antartica

New Glitch Hop, Penguin, released!

Posts: 192

Favorite Acid: Sulfuric Acid
Favorite Scientist: Marie Curie
Favorite Admin: P1kachu
Favorite Moderator: Hi Y3ti
Mini-Profile Background: {"image":"http://i.imgur.com/Fkl4mkj.png","color":"00a197"}

Definition of equality (=) Nov 28, 2015 0:41:11 GMT via mobile

Quote

Post by Hi Y3ti on Nov 28, 2015 0:41:11 GMT

Clapclapclapclap

Hey, what's up, you guys? Hi Y3ti Gaming, here!
I play games such as *ahem* Geometry Dash, obviously, CS:GO, Minecraft, and I even make songs, videos, and HD pictures!
I use Fraps to record videos, along with Audacity for my voice, and Sony Vegas Pro 13 for Post Production. I use FL Studio 12 to make all my songs, and Photoshop CC to make my pictures. I hope to become great friends with you!
Y3ti, out! =3