Nuprl Definition : exception-name
exception-name(e;n) == isaxiom(e?n:x.Ax) ∧b isint(e?n:x.2)
Definitions occuring in Statement :
band: p ∧b q,
bfalse: ff,
btrue: tt,
isaxiom: if z = Ax then a otherwise b,
isint: isint def,
natural_number: $n,
axiom: Ax
Definitions occuring in definition :
band: p ∧b q,
isaxiom: if z = Ax then a otherwise b,
axiom: Ax,
isint: isint def,
natural_number: $n,
btrue: tt,
bfalse: ff
FDL editor aliases :
exception-name
Latex:
exception-name(e;n) == isaxiom(e?n:x.Ax) \mwedge{}\msubb{} isint(e?n:x.2)
Date html generated:
2016_05_13-PM-04_14_23
Last ObjectModification:
2015_09_22-PM-05_46_01
Theory : subtype_1
Home
Index