[sth; see also: contrary]
This contradicts the fact that ...... [Not: “contradicts to the fact”]
......, which contradicts $F$ being countable.
But this is contradicted by Proposition 3 applied to $g$.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z