Date: Mon, 13 Feb 2012 11:48:55 -0800
To: wikineurotic@lojban.org
MIME-Version: 1.0
From: webmaster@lojban.org
Message-ID: <lzckdj.kkk7xq@www.lojban.org>
X-Spam_score: 1.0
X-Spam_score_int: 10
X-Spam_bar: +
X-Spam-Report: Spam detection software,
 running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 Content preview:  The page Axiom of stratified comprehension--Mekso example
 was changed by latros at 14:48 EST You can view the page by following this
 link:
 http://www.lojban.org/tiki/Axiom%20of%20stratified%20comprehension--Mekso%20example
 [...] Content analysis details:   (1.0 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.4 RDNS_DYNAMIC           Delivered to internal network by host with
 dynamic-looking rDNS
 0.6 TO_NO_BRKTS_DYNIP      To: misformatted and dynamic rDNS
Subject: [Wikineurotic] Wiki page Axiom of stratified comprehension--Mekso
	example changed by latros
X-BeenThere: wikineurotic@lojban.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: webmaster@lojban.org
List-Id: <wikineurotic.lojban.org>
List-Unsubscribe: <http://mail.lojban.org/mailman/options/wikineurotic>,
 <mailto:wikineurotic-request@lojban.org?subject=unsubscribe>
List-Archive: <http://mail.lojban.org/pipermail/wikineurotic/>
List-Post: <mailto:wikineurotic@lojban.org>
List-Help: <mailto:wikineurotic-request@lojban.org?subject=help>
List-Subscribe: <http://mail.lojban.org/mailman/listinfo/wikineurotic>,
 <mailto:wikineurotic-request@lojban.org?subject=subscribe>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Errors-To: wikineurotic-bounces@lojban.org
Content-Length: 4146

The page Axiom of stratified comprehension--Mekso example was changed by latros at 14:48 EST

You can view the page by following this link:
 
http://www.lojban.org/tiki/Axiom%20of%20stratified%20comprehension--Mekso%20example

You can view a diff back to the previous version by following this link: 
http://www.lojban.org/tiki/tiki-pagehistory.php?page=Axiom%20of%20stratified%20comprehension--Mekso%20example&compare=1&oldver=13&newver=14


***********************************************************
The changes in this version follow below, followed after by the current full page text.
***********************************************************


+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 17-23 changed to +Lines: 17-23 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
.i ca'e ro bu'a zo'u lo'i bu'a cu zasti va'o lo du'u la'e zo bu'a cu multersenta

- In bridi math with [http://www.lojban.org/tiki/BPFK+Section%3A+Pro-bridi|{me'au} and {me'ei}]:
+ In bridi math with [http://www.lojban.org/tiki/BPFK+Section%3A+Pro-bridi|{me'au} and {me'ei}]:

- .i ca'e ro me'ei bu'a zo'u go me'ei bu'a cu cmaci multersenta gi ge me'ei bu'e cu fancu lo'i terbri be me'ei bu'a le'i zmamulna'u gi ro da ro de zo'u ge va'o lo du'u da cmima de kei lo bu'e be de cu sumji li pa lo bu'e be da gi va'o lo du'u da du de kei lo bu'e be da cu du lo bu'e be de
+ .i ca'e ro me'ei bu'a zo'u go me'ei bu'a cu cmaci multersenta gi ge me'ei bu'e cu fancu lo'i terbri be me'ei bu'a le'i zmamulna'u gi ro da ro de zo'u ge va'o gi da cmima de gi lo bu'e be de cu sumji li pa lo bu'e be da gi va'o gi da du de gi lo bu'e be da cu du lo bu'e be de

.i ca'e ro me'ei bu'a poi ke'a multersenta zo'u lo'i bu'a cu zasti


***********************************************************
The new page content follows below.
***********************************************************

The below is a translation, possibly with some errors, of the axiom schema of stratified comprehension, a core axiom of New Foundations, an axiomatic set theory. The axiom reads as follows:

A predicate P is said to be ''stratified'' if and only if there exists a function f from the arguments of P to the natural numbers such that for all sets S1 and S2, if S1 is a member of S2, then f(S2) = f(S1)+1, and if S1=S2, then f(S1)=f(S2).
 
For all stratified predicates P, the set {x : P(x)} exists.

In mekso, this reads:

.i ca'e ro da poi ke'a selbri zo'u go da cmaci multersenta gi ge de fancu lo'i terbri be da le'i zmamulna'u gi ro di ro da xi re zo'u ge va'o lo du'u di cmima da xi re kei li na'u me de mo'e da xi re du li na'u me de mo'e di su'i pa gi va'o lo du'u di du da xi re kei li na'u me de mo'e di du li na'u me de mo'e da xi re

.i ca'e ro bu'a zo'u lo'i bu'a cu zasti va'o lo du'u la'e zo bu'a cu multersenta

The below is the same passage in bridi math. fancrnaplai is a placeholder defined as .i ko'a fancrnaplai ko'e ko'i ko'o ... .ijo ko'a = ko'e(ko'i,ko'o,...)

.i ca'e ro da poi ke'a selbri zo'u go da cmaci multersenta gi ge de fancu lo'i terbri be da le'i zmamulna'u gi ro di ro da xi re zo'u ge va'o lo du'u di cmima da xi re kei lo ni'ai fancrnaplai de da xi re cu sumji li pa lo ni'ai fancrnaplai de di gi va'o lo du'u di du da xi re kei lo ni'ai fancrnaplai de di cu du lo ni'ai fancrnaplai de da xi re

.i ca'e ro bu'a zo'u lo'i bu'a cu zasti va'o lo du'u la'e zo bu'a cu multersenta

In bridi math with [http://www.lojban.org/tiki/BPFK+Section%3A+Pro-bridi|{me'au} and {me'ei}]:

.i ca'e ro me'ei bu'a zo'u go me'ei bu'a cu cmaci multersenta gi ge me'ei bu'e cu fancu lo'i terbri be me'ei bu'a le'i zmamulna'u gi ro da ro de zo'u ge va'o gi da cmima de gi lo bu'e be de cu sumji li pa lo bu'e be da gi va'o gi da du de gi lo bu'e be da cu du lo bu'e be de

.i ca'e ro me'ei bu'a poi ke'a multersenta zo'u lo'i bu'a cu zasti

(In the last example, we adopt the convention, by analogy to sumji etc., x1 = f(x2,x3,...), so that {lo broda be ko'a bei ko'e} is f(ko'a,ko'e))


_______________________________________________
Wikineurotic mailing list
Wikineurotic@lojban.org
http://mail.lojban.org/mailman/listinfo/wikineurotic