User:Boris Tsirelson/Sandbox1: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson No edit summary |
||
Line 1: | Line 1: | ||
[http://en.wikipedia.org/wiki/Hilbert%27s_axioms Hilberts axioms] | [http://en.wikipedia.org/wiki/Hilbert%27s_axioms Hilberts axioms] | ||
[http://en.wikipedia.org/wiki/Axiomatization axiomatization] |