Круг в доказі (лат. circulus in demonstrando або petitio principi), логічна помилка, що полягає в тому, що як одна з посилок докази використовується який-небудь наслідок його тези, тобто думка, для доказу якого необхідно використовувати — вже як посилка — ця теза. Окрім тривіальних випадків, коли посилка збігається з тезою або є його переформуліровкой, можливі «замасковані» До. у д., коли посилка еквівалентна тезі, але по формулюванню не схожа на нього. «Доказ», що містить круг, доказом своєї тези не є; але, будучи виведенням цієї тези з еквівалентної йому посилки, може грати важливу методологічну роль саме виявлення цієї самої еквівалентності. Приклади цього дають спроби доказу V постулату Евкліда про паралельних, що виводиться, наприклад, з теореми про те, що сума кутів будь-якого трикутника рівна 180°; теорема ця, у свою чергу, доводиться за допомогою V постулату.
