ɪn sˈɛt θˈiəɹi, sˈɪlvɚ məʃˈiːnz ɑːɹ dɪvˈaɪsᵻz jˈuːzd fɔːɹ bˈaɪpæsɪŋ ðə jˈuːs ʌv fˈaɪn stɹˈʌktʃɚɹ ɪn pɹˈuːfs ʌv stˈeɪtmənts hˈoʊldɪŋ ɪn ˈɛl.
In set theory, Silver machines are devices used for bypassing the use of fine structure in proofs of statements holding in L.