 Let's abbreviate “\(F\) is derivable in calculus \(C\)” by “DC\((F)\)” and “\(F\) is a logical truth (in our preferred pretheoretical sense)” by “LT\((F)\)”. Then, if \(C\) is a calculus built to suit our pretheoretic conception of logical truth, the situation can be summarized thus: