J
u
m
p
t
o
c
o
n
t
e
n
t
M
a
i
n
m
e
n
u
M
a
i
n
m
e
n
u
m
o
v
e
t
o
s
i
d
e
b
a
r
h
i
d
e
N
a
v
i
g
a
t
i
o
n
●
M
a
i
n
p
a
g
e
●
C
o
n
t
e
n
t
s
●
C
u
r
r
e
n
t
e
v
e
n
t
s
●
R
a
n
d
o
m
a
r
t
i
c
l
e
●
A
b
o
u
t
W
i
k
i
p
e
d
i
a
●
C
o
n
t
a
c
t
u
s
●
D
o
n
a
t
e
C
o
n
t
r
i
b
u
t
e
●
H
e
l
p
●
L
e
a
r
n
t
o
e
d
i
t
●
C
o
m
m
u
n
i
t
y
p
o
r
t
a
l
●
R
e
c
e
n
t
c
h
a
n
g
e
s
●
U
p
l
o
a
d
f
i
l
e
L
a
n
g
u
a
g
e
s
S
e
a
r
c
h
Search
A
p
p
e
a
r
a
n
c
e
●
C
r
e
a
t
e
a
c
c
o
u
n
t
●
L
o
g
i
n
P
e
r
s
o
n
a
l
t
o
o
l
s
●
C
r
e
a
t
e
a
c
c
o
u
n
t
●
L
o
g
i
n
P
a
g
e
s
f
o
r
l
o
g
g
e
d
o
u
t
e
d
i
t
o
r
s
l
e
a
r
n
m
o
r
e
●
C
o
n
t
r
i
b
u
t
i
o
n
s
●
T
a
l
k
P
a
g
e
s
t
h
a
t
l
i
n
k
t
o
"
T
e
m
p
l
a
t
e
:
M
a
t
h
e
m
a
t
i
c
a
l
l
o
g
i
c
"
H
e
l
p
●
T
e
m
p
l
a
t
e
●
T
a
l
k
E
n
g
l
i
s
h
●
R
e
a
d
●
V
i
e
w
s
o
u
r
c
e
●
V
i
e
w
h
i
s
t
o
r
y
T
o
o
l
s
T
o
o
l
s
m
o
v
e
t
o
s
i
d
e
b
a
r
h
i
d
e
A
c
t
i
o
n
s
●
R
e
a
d
●
V
i
e
w
s
o
u
r
c
e
●
V
i
e
w
h
i
s
t
o
r
y
G
e
n
e
r
a
l
●
U
p
l
o
a
d
f
i
l
e
●
S
p
e
c
i
a
l
p
a
g
e
s
●
P
r
i
n
t
a
b
l
e
v
e
r
s
i
o
n
●
G
e
t
s
h
o
r
t
e
n
e
d
U
R
L
●
D
o
w
n
l
o
a
d
Q
R
c
o
d
e
A
p
p
e
a
r
a
n
c
e
m
o
v
e
t
o
s
i
d
e
b
a
r
h
i
d
e
←
T
e
m
p
l
a
t
e
:
M
a
t
h
e
m
a
t
i
c
a
l
l
o
g
i
c
What links here
⧼whatlinkshere-whatlinkshere-target⧽
Page:
⧼whatlinkshere-whatlinkshere-ns⧽
Namespace:
all
(Article)
Talk
User
User talk
Wikipedia
Wikipedia talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Portal
Portal talk
Draft
Draft talk
TimedText
TimedText talk
Module
Module talk
Invert selection
⧼whatlinkshere-whatlinkshere-filter⧽
Hide transclusions
Hide links
Hide redirects
Go
T
h
e
f
o
l
l
o
w
i
n
g
p
a
g
e
s
l
i
n
k
t
o
T
e
m
p
l
a
t
e
:
M
a
t
h
e
m
a
t
i
c
a
l
l
o
g
i
c
E
x
t
e
r
n
a
l
t
o
o
l
s
●
(
l
i
n
k
c
o
u
n
t
●
t
r
a
n
s
c
l
u
s
i
o
n
c
o
u
n
t
●
s
o
r
t
e
d
l
i
s
t
)
·
S
e
e
h
e
l
p
p
a
g
e
f
o
r
t
r
a
n
s
c
l
u
d
i
n
g
t
h
e
s
e
e
n
t
r
i
e
s
S
h
o
w
i
n
g
5
0
i
t
e
m
s
.
V
i
e
w
(
p
r
e
v
i
o
u
s
5
0
|
n
e
x
t
5
0
)
(
20
|
50
|
1
0
0
|
2
5
0
|
5
0
0
)
●
A
x
i
o
m
o
f
c
h
o
i
c
e
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
A
x
i
o
m
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
K
o
l
m
o
g
o
r
o
v
c
o
m
p
l
e
x
i
t
y
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
A
u
t
o
m
a
t
e
d
t
h
e
o
r
e
m
p
r
o
v
i
n
g
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
B
i
j
e
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
B
i
n
a
r
y
o
p
e
r
a
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
N
a
i
v
e
s
e
t
t
h
e
o
r
y
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
C
o
n
t
i
n
u
u
m
h
y
p
o
t
h
e
s
i
s
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
C
o
u
n
t
a
b
l
e
s
e
t
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
C
a
r
d
i
n
a
l
n
u
m
b
e
r
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
C
a
r
d
i
n
a
l
i
t
y
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
C
h
u
r
c
h
–
T
u
r
i
n
g
t
h
e
s
i
s
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
o
g
i
c
a
l
d
i
s
j
u
n
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
D
e
c
i
s
i
o
n
p
r
o
b
l
e
m
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
E
q
u
i
v
a
l
e
n
c
e
r
e
l
a
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
E
m
p
t
y
s
e
t
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
E
n
t
s
c
h
e
i
d
u
n
g
s
p
r
o
b
l
e
m
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
F
o
r
m
a
l
l
a
n
g
u
a
g
e
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
F
i
r
s
t
-
o
r
d
e
r
l
o
g
i
c
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
F
i
n
i
t
e
s
e
t
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
G
ö
d
e
l
'
s
c
o
m
p
l
e
t
e
n
e
s
s
t
h
e
o
r
e
m
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
a
w
o
f
n
o
n
c
o
n
t
r
a
d
i
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
a
w
o
f
e
x
c
l
u
d
e
d
m
i
d
d
l
e
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
o
g
i
c
a
l
c
o
n
j
u
n
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
o
g
i
c
a
l
c
o
n
n
e
c
t
i
v
e
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
P
r
o
p
o
s
i
t
i
o
n
a
l
c
a
l
c
u
l
u
s
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
a
m
b
d
a
c
a
l
c
u
l
u
s
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
e
m
m
a
(
m
a
t
h
e
m
a
t
i
c
s
)
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
M
a
t
h
e
m
a
t
i
c
a
l
i
n
d
u
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
F
i
n
i
t
a
r
y
r
e
l
a
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
M
a
t
h
e
m
a
t
i
c
a
l
l
o
g
i
c
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
M
o
d
e
l
t
h
e
o
r
y
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
C
l
a
s
s
(
s
e
t
t
h
e
o
r
y
)
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
N
P
(
c
o
m
p
l
e
x
i
t
y
)
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
O
r
d
e
r
e
d
p
a
i
r
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
P
o
w
e
r
s
e
t
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
P
r
i
n
c
i
p
i
a
M
a
t
h
e
m
a
t
i
c
a
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
P
r
i
m
i
t
i
v
e
r
e
c
u
r
s
i
v
e
f
u
n
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
R
e
c
u
r
s
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
P
r
o
o
f
b
y
c
o
n
t
r
a
d
i
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
S
e
t
(
m
a
t
h
e
m
a
t
i
c
s
)
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
S
o
u
n
d
n
e
s
s
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
S
e
t
t
h
e
o
r
y
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
S
u
b
s
e
t
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
S
u
r
j
e
c
t
i
v
e
f
u
n
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
u
r
i
n
g
m
a
c
h
i
n
e
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
r
a
n
s
f
i
n
i
t
e
i
n
d
u
c
t
i
o
n
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
o
r
e
m
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
U
n
c
o
u
n
t
a
b
l
e
s
e
t
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
y
p
e
t
h
e
o
r
y
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
V
i
e
w
(
p
r
e
v
i
o
u
s
5
0
|
n
e
x
t
5
0
)
(
20
|
50
|
1
0
0
|
2
5
0
|
5
0
0
)
R
e
t
r
i
e
v
e
d
f
r
o
m
"
https://en.wikipedia.org/wiki/Special:WhatLinksHere/Template:Mathematical_logic
"
●
P
r
i
v
a
c
y
p
o
l
i
c
y
●
A
b
o
u
t
W
i
k
i
p
e
d
i
a
●
D
i
s
c
l
a
i
m
e
r
s
●
C
o
n
t
a
c
t
W
i
k
i
p
e
d
i
a
●
C
o
d
e
o
f
C
o
n
d
u
c
t
●
D
e
v
e
l
o
p
e
r
s
●
S
t
a
t
i
s
t
i
c
s
●
C
o
o
k
i
e
s
t
a
t
e
m
e
n
t
●
M
o
b
i
l
e
v
i
e
w
