if-thenism

Today it means: 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). Full definition →