Experiments which could be performed in principle, but might be very difficult in practice, and whose outcome can be predicted by pure logic. Often used to develop the consequences of a theory, so that more practical phenomena can be predicted and put to actual experimental tests.