It is possible--indeed possible even according to the old conception of logic--to give in advance a description of all 'true' logical propositions. Hence there can never be surprises in logic.
Ludwig Wittgenstein, David Francis Pears, Brian McGuinness (2001). “Tractatus Logico-philosophicus”, p.76, Psychology Press
