Loading Discussion on question by lorilori: Trying a new axiomatization of the real line
Just a second…
dismiss
New feed items
load older messages
full transcript
highlights
You must be
logged in
to talk. See the
faq
for more information.
help
|
faq
|
legal
|
privacy policy
|
mobile
all rooms
site rooms
Discussion on question by lorilori: Trying a new axiomatization of the real line
Imported from a comment discussion on
math.stackexchange.com/questions/4584686/…
axioms
formal-proofs
real-analysis
supremum-and-infimum
upper-lower-bounds
room▼
|
info
not the room you are looking for?
There are other rooms
, with 57 users currently talking in 34 rooms.
starred
/
show all
Welcome to the chat! Unfortunately, you have JavaScript disabled, and thus this chat will not work. If you would like to participate, please enable JavaScript in your browser and reload this page.