[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.12395762 [View]
File: 8 KB, 696x135, TIMESAND___911t87r8c9dfDEATHSQUADffetrykghhhh762vt2vLGKTOTIOty1.png [View same] [iqdb] [saucenao] [google]
12395762

>>12395712
The word diverges to the right of the equals sign indicates that the expression on the left is not equal to any element of R.

>>12395716
>Why would you include this as an axiom?
Mainly for contrast with Axiom 4.4.13.

>It's enough to mention that you will not define these expressions.
I mention that in Axiom 2.2.3.

>Is the axiom here used in any proof?
Maybe.

Navigation
View posts[+24][+48][+96]