Archives 2019

EmptySetIsFinite.htm

0-to-the-power-of-0 v2.htm

PowerOfAProductV4.htm

PowersOfNon0Bases.htm

PowerOfAPowerV2.htm

ProductOfPowersV3.htm

ProductOfPowersV2.htm

ProductOfPowersBase0.htm

ZeroExponents.htm

ProdudctOfPowersNon0Base.htm

PowFunctionInfinitelyManyBase2.htm

PowFunctionsInfinitelyManyBase0.htm

PowFunctionsEquivBases.htm

PowFunctionsEquivBases2.htm

PowPartialPowFunction.htm

PowFunctionsEquivBases.htm

FactorialFunction.htm

NoNumberItsOwnSuccessor.htm

DCPBetaTest.htm

IntersectionEndSegments.htm

FISONsUnion.htm

FISONSconstructed.htm

Empty4.htm

Empty3.htm

Empty2.htm

Empty1.htm

ConstructDivisionFunctionOnN.htm

SetOperatorsExample1.htm

SetOperatorsExample2.htm

ImplicationUndefined.htm

ProveInduction.htm

StrongInductionHolds.htm

IndicatorFunction.htm

CompositionOfFunctionsExist.htm

CompositionOfFunctionsAssoc.htm

ZeroPowerZero.htm

ZeroPowerZeroLemma1.htm

ZeroPowerZeroLemma2.htm

ZeroPowerZeroLemma3.htm

Archives 2018

EmptyFunctionV2.htm

EmptyFunction.htm

PartialFunctionAxiom.htm

Add1plus1V2.htm

Add1plus1.htm

InductionIffAccessible.htm

DeriveInductionv2.htm

DeriveInduction.htm

DerivePA.htm

ModalAxiomM.htm

ModalAxiomsDerived.htm

MIParadox1.htm

MIParadox2.htm

MIParadox3.htm

MIParadox4.htm

MIParadox5.htm

MIParadox6.htm

IfPigsCanFly.html

DeriveImplies.html

ImpliesLine1.html

ImpliesLine2.html

ImpliesLines3-4.html

Archives 2017

TwoWayInductionOnZ.htm

NoUnreachableNumbers.htm

BarberParadoxSets.htm

BP12.hthm

Archives 2016

PowerSetNotSubset.htm

NIS-issue.htm

PurposeInductionAxiom.htm

GroupTheory3.htm

GroupTheory3L1.htm

GroupTheory3L2.htm

GroupTheory3L3.htm

GroupTheory3L4.htm

GroupTheory2a.htm

GroupTheory2b.htm

GroupTheory1.htm

IdentityFunction.htm

ApproximationProperty.htm

BackwardsInductionV2.htm

BackwardsInduction.htm

InductionIndependent.htm

InductionMinRequirementsV2.htm

InductionMinRequirements.htm

Archives 2015

demovideo.htm

MSE2015-12-01.htm

MalikHarisMSE.htm

CantorDiagonal.htm

CountableIfSurjectionFromN.htm

teach.htm

ConstructAddN.htm

ConstructMultN.htm

ConstructLTN.htm

ConstructQPos.htm

ConstructLTQPos.htm

ConstructRPos.thm

DCProofHelp.chm

STGeneralizedDrinkersThm.htm

FOLGeneralizedDrinkersThm.htm

DrinkersThm1.htm

DrinkersThm2.thm

DrinkersNonParadox.htm

InfinitelyManyPowFunctions.htm

PowFunctionCommon.htm

ConstructPowPartialFunction.htm

ProductOfPowers.htm

PowerOfAPower.htm

PowerOfAProduct.htm

NonZeroPowers.htm

0plus0.htm

0x0.htm

---

Archives 2014

Countable.htm

CountableL1.htm

CountableL2.htm

CountableL3.htm

CountableL4.htm

CountableL5.htm

CBS.htm

KnasterFixedPointLemma.htm

SetEqSubsets.htm

ComplementWrt.htm

ImgSetFunction.htm

ComplementOfComplement.htm

ExistenceOfInverse.htm

InversesAreBijections. htm

MultipleBarberParadox.htm

CategoricalSyllogism.htm

DrinkersParadox.html

PartialFunction1Var.htm

FiniteArithmeticBlog.html

FiniteSuccession.htm

FiniteArithmeticV3.htm

FiniteArithmeticV2.htm

FiniteArithmetic.htm

ExistenceOfPredecessorsFinite.htm

NoSelfSuccessorFinite.htm

WM3.htm

WM1.htm

WM2.htm

Infinity.html

EquivalentFinites.htm

EquivalentInfinites.htm

InfiniteSubsets.htm

AxiomOfInfinity.htm

PeanoThm1.htm

PeanoThm2.htm

PeanoThm3.htm

PartialRussell.htm

WhatIsANumberAgain.html

EquivalentPeanoSystemsA.htm

EquivalentPeanoSystemsB.htm

RecursiveFunctions2Var.htm

ConstructAdd0.htm

Add0Unique.htm

Add2Equivalence.htm

Add2EqAdd0.htm

Add2Exists.htm

Archives 2013

Exponent2.htm

0-base.htm

KnasterFPL.htm

0-or-1.htm

Pow-functions-identical.htm

0-to-the-power-of-0.html

T1-Construct-pow-function.htm

T2-3-Cubed.htm

T3-Product-of-Powers. htm

T4-Power-of-a-Power.htm

T5-Non-zero-powers.htm

T6-Power-of-a-product.htm

Ambiguity-of-0-to-the-0.htm

Mats.htm

CBS.htm

DedekindsPigeon.htm

pigeonhole.htm

MSE1.htm

WhatIsANumber.htm

ProofByInduction.html

NaturalNumsEmbedded.htm

ExistenseOfNullSet.htm

UniquenessOfNullSet.htm

n1n2Disjoint.htm

DeriveZ.htm