τέτοιες ώστε
για κάθε 
Συντονιστές: emouroukos, achilleas, silouan
τέτοιες ώστε
για κάθε 
ώστε 
ο ισχυρισμός 
για κάποια
, τότε
για κάθε
.
και
, έχουμε
.
και
δίνει
για κάθε
.
, έχουμε
.
είναι 1-1
για κάποια
, έχουμε
για κάθε
, όπου
. Αλλά για κάθε
, χρησιμοποιούμε τον πρώτο ισχυρισμό (
) και βλέπουμε
για κάθε
. Άρα
πάντα.
μαζί με
δίνουν
, άρα
δηλαδή η
σταθερή στο
, άτοπο.
υπάρχει
με
(μοναδικό).
, άρα για κάθε
, έχουμε
, άρα
κατ'επέκταση.
:
.
, με
, άρα
.
.
.
, τότε
, , άρα
, άτοπο. Έτσι
, που σημαίνει
. Θέτουμε
.
δίνει
, άρα
.
.
δίνει
, άρα
, που σημαίνει
. Έτσι
. Όμως
και έπεται
και
.
δίνει
, άρα
.
το
δίνει
, που είναι άτοπο γιατί
.
.
, άρα για κάθε
είτε
είτε
. Όμως η
είναι 1-1 στο
άρα η
είναι η ταυτοτική για κάθε
που δουλεύει.
ή
οι λύσεις.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες