Mathbox for Anthony Hart 
< Previous
Next >
Nearby theorems 

Mirrors > Home > MPE Home > Th. List > Mathboxes > tbax2  Unicode version 
Description: The second of three axioms in the TarskiBernays axiom system. (Contributed by Anthony Hart, 16Aug2011.) (Proof modification is discouraged.) (New usage is discouraged.) 
Ref  Expression 

tbax2 
Step  Hyp  Ref  Expression 

1  ax1 5  1 
Colors of variables: wff set class 
Syntax hints: wi 4 
This theorem is referenced by: re1ax2lem 24893 
This theorem was proved from axioms: ax1 5 
Copyright terms: Public domain  W3C validator 