Je was op zoek naar: constructible (Engels - Portugees)

constructible
construtível

test whether a given object is constructible
testa se um dado objecto pode ser construído

the canonical example is the constructible universe "l" developed by gödel.
o exemplo canônico é o universo construível l desenvolvido por gödel.

for any time constructible function "t"("n"), we have:formula_3.
para qualquer função de tempo construtível "t"("n"), temos que::formula_3.

in particular, zf proves the consistency of z, as the set vω·2 is a model of z constructible in zf.
em particular, zf pode provar a consistência de z por meio da construção do universo de von neumann, vω2, como um modelo .

==construction==a regular heptagon is not constructible with compass and straightedge but is constructible with a marked ruler and compass.
o heptágono regular é o menor polígono regular que não pode ser construído com régua e compasso.

using this, it becomes relatively easy to answer such classical problems of geometry as:"which regular polygons are constructible polygons?
usando esta teoria, torna-se relativamente fácil responder perguntas da geometria clássica tais como::" "quais polígonos regulares são polígonos construtíveis ?

"f"("n") is at least "n", since smaller functions are never time-constructible.note 2.
note que formula_1 é pelo menos "n", uma vez que funções menores nunca serão tempo construtível.

* constructible** 3×2"n"-sided regular polygons, for "n" in 0, 1, 2, 3, ...*** 30°-60°-90° triangle: triangle (3-sided)*** 60°-30°-90° triangle: hexagon (6-sided)*** 75°-15°-90° triangle: dodecagon (12-sided)*** 82.5°-7.5°-90° triangle: icositetragon (24-sided)*** 86.25°-3.75°-90° triangle: 48-gon*** 88.125°-1.875°-90° triangle: 96-gon** 4×2"n"-sided*** 45°-45°-90° triangle: square (4-sided)*** 67.5°-22.5°-90° triangle: octagon (8-sided)*** 78.75°-11.25°-90° triangle: hexadecagon (16-sided)*** 84.375°-5.625°-90° triangle: 32-gon*** 87.1875°-2.8125°-90° triangle: 64-gon** 5×2"n"-sided*** 54°-36°-90° triangle: pentagon (5-sided)*** 72°-18°-90° triangle: decagon (10-sided)*** 81°-9°-90° triangle: icosagon (20-sided)*** 85.5°-4.5°-90° triangle: tetracontagon (40-sided)*** 87.75°-2.25°-90° triangle: octacontagon (80-sided)** 15×2"n"-sided*** 78°-12°-90° triangle: pentadecagon (15-sided)*** 84°-6°-90° triangle: triacontagon (30-sided)*** 87°-3°-90° triangle: hexacontagon (60-sided)*** 88.5°-1.5°-90° triangle: 120-gon*** 89.25°-0.75°-90° triangle: 240-gon** ... (higher constructible regular polygons don't make whole degree angles: 17, 51, 85, 255, 257, ..., 65537, ..., 4294967295)* nonconstructible (with whole or half degree angles) – no finite radical expressions involving real numbers for these triangle edge ratios are possible, therefore its multiples of two are also not possible.
== tabela de constante =="n"-sided regular polygons, for "n" in 0, 1, 2, 3, ...*** 30°-60°-90° triangle: triangle (3-sided)*** 60°-30°-90° triangle: hexagon (6-sided)*** 75°-15°-90° triangle: dodecagon (12-sided)*** 82.5°-7.5°-90° triangle: icosikaitetragon (24-sided)*** 86.25°-3.75°-90° triangle: tetracontakaioctagon (48-sided)** 4×2"n"-sided*** 45°-45°-90° triangle: square (4-sided)*** 67.5°-22.5°-90° triangle: octagon (8-sided)*** 78.75°-11.25°-90° triangle: hexakaidecagon (16-sided)** 5×2"n"-sided*** 54°-36°-90° triangle: pentagon (5-sided)*** 72°-18°-90° triangle: decagon (10-sided)*** 81°-9°-90° triangle: icosagon (20-sided)*** 85.5°-4.5°-90° triangle: tetracontagon (40-sided)*** 87.75°-2.25°-90° triangle: octacontagon (80-sided)** 15×2"n"-sided*** 78°-12°-90° triangle: pentakaidecagon (15-sided)*** 84°-6°-90° triangle: tricontagon (30-sided)*** 87°-3°-90° triangle: hexacontagon (60-sided)*** 88.5°-1.5°-90° triangle: hectoicosagon (120-sided)*** 89.25°-0.75°-90° triangle: dihectotetracontagon (240-sided)** ... (higher constructible regular polygons don't make whole degree angles: 17, 51, 85, 255, 257...)* nonconstructible (with whole or half degree angles) – no finite radical expressions involving real numbers for these triangle edge ratios are possible, therefore its multiples of two are also not possible.