thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Last Sync: 2022-12-04 16:00:04

Browse source
This commit is contained in:
tactonbishop 2022-12-04 16:00:04 +00:00
parent 282c7c97d5
commit 4c62dac371
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Set_Theory/Axioms_of_set_theory.md
View file

@ -16,3 +16,5 @@ The basic notions of set theory are defined in [Basic properties of sets](Basic%
Sets which contain the same members are the same set. If sets A and B contain the same elements then A = B. Sets which contain the same members are the same set. If sets A and B contain the same elements then A = B.
$$\forall a \forall b [\forall x (x \in a \longleftrightarrow x \in b) \rightarrow a =b]$$ $$\forall a \forall b [\forall x (x \in a \longleftrightarrow x \in b) \rightarrow a =b]$$
[link to test](/testFolder/beta.md)

0
alpha.md → testFolder/beta.md
View file