blob: 94ab1094a02f164ae2a02747b8a52778411f3a4d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
param (PROP-MIN prop-min.ghi () "")
param (PROP-EXT prop-ext.ghi (PROP-MIN) "")
kind (set)
var (wff ph ps ch th ta)
var (set x y z w v u)
term (wff (A. set wff))
stmt (ax-4 () () ((-> (A. x ph) ph)))
stmt (ax-5 () () ((-> (A. x (-> (A. x ph) ps)) (-> (A. x ph) (A. x ps)))))
stmt (ax-6 () () ((-> (-. (A. x (-. (A. x ph)))) ph)))
stmt (ax-7 () () ((-> (A. x (A. y ph)) (A. y (A. x ph)))))
stmt (ax-gen () (ph) ((A. x ph)))
stmt (ax-17 ((ph x)) () ((-> ph (A. x ph))))
|