logic311
theorem298
definition258
formula228
finite219
proof215
follows214
lemma201
axioms188
variables185
axiom184
hence184
defined183
predicate172
theory170
relation167
formulas166
proposition160
induction156
iff154
thus149
define144
logical135
function132
equivalent125
sequence121
equivalence119
example118
model118
variable115
models114
theorems113
functions111
infinite109
sentences109
calculus107
language106
modal106
mathematical104
logics103
subset103
sets100
algebra98
proofs92
valid92
implies86
ordinal86
negation85
chapter85
elements83
que79
exists78
suppose76
symbols76
shall75
sentence74
class73
truth69
cardinal65
boolean65
terms65
rule63
provable63
holds62
rules62
contains62
element61
notion61
por60
como60
para60
domain59
false59
ordinals59
atomic59
Terms
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
15
|
16
|
17
|
18
|
20
|
21
|
22
|
23
|
25
|
26
|
28
|
29
|
30
|
31
|
32
|
33
|
34
|
36
|
37
|
38
|
39
|
40
|
41
|
42
|
43
|
44
|
45
|
46
|
47
|
48
|
49
|
50
|