if-thenism noun1 •The doctrine that all mathematical statements are conditional in form, meaning they can be expressed in the form "p implies q", (i.e. if p then q).We now come to the difficulty that caused Russell himself to abandon 'if-thenism'. — 1968
